LLMs for automating Dolev-Yao-Star proof generation.
Sarthak Das
dassarthak18
AI & ML interests
None yet
Recent Activity
updated
a dataset
4 days ago
dassarthak18/spore-protocols
updated
a collection
2 months ago
DY-Star-LLMs
updated
a model
2 months ago
dassarthak18/granite-fstar-lora
Organizations
None yet