Edit Models filters

Apps

Inference Providers

HF Inference API

Misc

formal-mathematics

Inference Endpoints

text-generation-inference

4-bit precision

8-bit precision

text-embeddings-inference

Mixture of Experts

Carbon Emissions

Models

23

Full-text search

Active filters: formal-mathematics

ByteDance-Seed/BFS-Prover-V1-7B

Text Generation • 8B • Updated 24 days ago • 503 • • 22

mradermacher/BFS-Prover-GGUF

8B • Updated 27 days ago • 189

purewhite42/dependency_retriever_f

Sentence Similarity • 0.6B • Updated Feb 26 • 1

purewhite42/dependency_retriever_f_if

Sentence Similarity • 0.6B • Updated Feb 26 • 3

purewhite42/bm25_f

Sentence Similarity • Updated Feb 26

purewhite42/bm25_f_if

Sentence Similarity • Updated Feb 26

purewhite42/rautoformalizer_gtra_deepseek

Text Generation • Updated May 20 • 4

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated May 20

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated May 20

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated May 20 • 1

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated May 20 • 1

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated May 20 • 14

QuantFactory/BFS-Prover-GGUF

Text Generation • 8B • Updated Mar 4 • 168 • 1

tensorblock/BFS-Prover-GGUF

Text Generation • 8B • Updated Jul 9 • 118

NJUDeepEngine/llm_based_atp

Text Generation • 8B • Updated Jun 23 • 4 • 1

FrenzyMath/REAL-Prover

Text Generation • 8B • Updated Jul 17 • 11

mradermacher/BFS-Prover-V1-7B-GGUF

8B • Updated 24 days ago • 191

mradermacher/BFS-Prover-V1-7B-i1-GGUF

8B • Updated 24 days ago • 446

purewhite42/HAR_CoPA_Cycle1

Text Generation • Updated 11 days ago • 107

purewhite42/HAR_CoPA_Cycle2

Text Generation • Updated 11 days ago • 65

purewhite42/WG_CoPA_Cycle1

Text Generation • Updated 11 days ago • 141

purewhite42/HWG_CoPA_Cycle1

Text Generation • Updated 11 days ago • 21

purewhite42/AR_CoPA_Cycle1

Text Generation • Updated 11 days ago • 123