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