Edit Models filters

Inference Providers

Nebius AI Studio

HF Inference API

Misc

formal-mathematics

Inference Endpoints

AutoTrain Compatible

text-generation-inference

text-embeddings-inference

Misc with no match

4-bit precision

8-bit precision

Carbon Emissions

Mixture of Experts

Models

14

Full-text search

Active filters: formal-mathematics

QuantFactory/BFS-Prover-GGUF

Text Generation • Updated Mar 4 • 214 • 1

ByteDance-Seed/BFS-Prover

Text Generation • Updated Feb 25 • 3.66k • 15

mradermacher/BFS-Prover-GGUF

Updated about 9 hours ago • 208

purewhite42/dependency_retriever_f

Sentence Similarity • Updated Feb 26 • 20

purewhite42/dependency_retriever_f_if

Sentence Similarity • Updated Feb 26 • 16

purewhite42/bm25_f

Sentence Similarity • Updated Feb 26

purewhite42/bm25_f_if

Sentence Similarity • Updated Feb 26

purewhite42/rautoformalizer_gtra_deepseek

Text Generation • Updated Feb 26 • 12

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated Feb 26 • 28

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated Feb 26 • 9

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated Feb 26 • 18

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated Feb 26 • 6

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated Feb 26 • 17

tensorblock/BFS-Prover-GGUF

Text Generation • Updated 9 days ago • 51