Saikat Chakraborty

saikatc's activity

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

published a model 29 days ago

saikatc/Qwen2-0.5B-GRPO-test

Updated 29 days ago

updated a dataset 10 months ago

microsoft/FStarDataSet-V2

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

updated a dataset 11 months ago

microsoft/FStarDataSet

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

New activity in microsoft/FStarDataSet 11 months ago

Update README.md

#1 opened 11 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 • 37 • 4