Sarthak Das

dassarthak18's activity

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

updated a dataset 4 days ago

dassarthak18/spore-protocols

Viewer • Updated 4 days ago • 91 • 49

updated a collection 2 months ago

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated Nov 28, 2025

updated a model 2 months ago

dassarthak18/granite-fstar-lora

Text Generation • Updated Nov 28, 2025

published a model 2 months ago

dassarthak18/granite-fstar-lora

Text Generation • Updated Nov 28, 2025

updated a dataset 3 months ago

dassarthak18/FStarDataset-V2-Conversation

Viewer • Updated Nov 26, 2025 • 54.4k • 5

updated a model 3 months ago

dassarthak18/phi3.5-fstar-lora

Text Generation • Updated Nov 24, 2025

updated a collection 3 months ago

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated Nov 28, 2025

published a model 3 months ago

dassarthak18/phi3.5-fstar-lora

Text Generation • Updated Nov 24, 2025

updated 2 collections 3 months ago

DY-Star-Datasets

Collection

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

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated Nov 28, 2025

published a dataset 3 months ago

dassarthak18/FStarDataset-V2-Conversation

Viewer • Updated Nov 26, 2025 • 54.4k • 5

updated a collection 3 months ago

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated Nov 28, 2025

updated a collection 4 months ago

DY-Star-LLMs

Collection

LLMs for automating Dolev-Yao-Star proof generation. • 4 items • Updated Nov 28, 2025

published a dataset 4 months ago

dassarthak18/spore-protocols

Viewer • Updated 4 days ago • 91 • 49