Saikat Chakraborty

saikatc's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

published a model 5 days ago

saikatc/Qwen2-0.5B-GRPO-test

Updated 5 days ago

updated a dataset 9 months ago

microsoft/FStarDataSet-V2

Viewer • Updated Aug 3, 2024 • 54.4k • 50 • 3

updated a dataset 10 months ago

microsoft/FStarDataSet

Viewer • Updated Jul 25, 2024 • 32.1k • 49 • 3

New activity in microsoft/FStarDataSet 10 months ago

Update README.md

#1 opened 10 months ago by

gebnermsft

authored a paper over 1 year ago

Ranking LLM-Generated Loop Invariants for Program Verification

Paper • 2310.09342 • Published Oct 13, 2023 • 4

updated a model over 2 years ago

saikatc/NatGen

Text2Text Generation • Updated Dec 15, 2022 • 18 • 4