Sarthak Das

dassarthak18's activity

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

updated a collection 28 days ago

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated 28 days ago

updated a model 28 days ago

dassarthak18/granite-fstar-lora

Text Generation • Updated 28 days ago

published a model 28 days ago

dassarthak18/granite-fstar-lora

Text Generation • Updated 28 days ago

updated a dataset 30 days ago

dassarthak18/spore-protocols

Viewer • Updated 30 days ago • 89 • 39

updated a dataset about 1 month ago

dassarthak18/FStarDataset-V2-Conversation

Viewer • Updated about 1 month ago • 54.4k • 26

updated a model about 1 month ago

dassarthak18/phi3.5-fstar-lora

Text Generation • Updated Nov 24

updated a collection about 1 month ago

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated 28 days ago

published a model about 1 month ago

dassarthak18/phi3.5-fstar-lora

Text Generation • Updated Nov 24

updated 2 collections about 2 months ago

DY-Star-Datasets

Collection

Datasets for automating Dolev-Yao-Star proof generation. • 2 items • Updated Nov 6

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated 28 days ago

published a dataset about 2 months ago

dassarthak18/FStarDataset-V2-Conversation

Viewer • Updated about 1 month ago • 54.4k • 26

updated a collection about 2 months ago

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated 28 days ago

updated 2 datasets 2 months ago

dassarthak18/spore-protocols

Viewer • Updated 30 days ago • 89 • 39

dassarthak18/spore-protocols

Viewer • Updated 30 days ago • 89 • 39