DY-Star-LLMs - a dassarthak18 Collection

dassarthak18 's Collections

DY-Star-Datasets

DY-Star-LLMs

updated 1 day ago

LLMs for automating Dolev-Yao-Star proof generation.

dassarthak18/phi3.5-fstar-lora

Text Generation • Updated 1 day ago