Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Edit Models filters
Tasks
Libraries
Datasets
Languages
Licenses
Other
1
Inference Providers
Select all
Replicate
SambaNova
Novita
Hyperbolic
Fireworks
Cerebras
Cohere
Together AI
fal
Nebius AI Studio
HF Inference API
Misc
Reset Misc
theorem-proving
Inference Endpoints
AutoTrain Compatible
text-generation-inference
Misc with no match
Eval Results
Merge
4-bit precision
8-bit precision
custom_code
text-embeddings-inference
Carbon Emissions
Mixture of Experts
Apply filters
Models
7
Full-text search
Edit filters
Sort: Trending
Active filters:
theorem-proving
Clear all
QuantFactory/BFS-Prover-GGUF
Text Generation
•
Updated
Mar 4
•
214
•
1
amitayusht/ProofWala-Multilingual
Text2Text Generation
•
Updated
Feb 9
•
127
amitayusht/ProofWala-Lean
Text2Text Generation
•
Updated
Feb 9
•
2
amitayusht/ProofWala-Coq
Text2Text Generation
•
Updated
Feb 9
ByteDance-Seed/BFS-Prover
Text Generation
•
Updated
Feb 25
•
3.66k
•
15
mradermacher/BFS-Prover-GGUF
Updated
about 9 hours ago
•
208
tensorblock/BFS-Prover-GGUF
Text Generation
•
Updated
9 days ago
•
51