Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
dgtalbug
/
lara
like
0
microsoft/rStar-Coder
deepseek-ai/DeepSeek-ProverBench
English
code
License:
mit
Model card
Files
Files and versions
xet
Community
main
lara
Commit History
Update README.md
214a316
verified
dgtalbug
commited on
Aug 1, 2025
Update README.md
37de25e
verified
dgtalbug
commited on
Aug 1, 2025
initial commit
1463f1b
verified
dgtalbug
commited on
Aug 1, 2025