Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
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
Copy to bucket
new
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
dgtalbug commited on dgtalbug commited on dgtalbug commited on 