Hugging Face's logo

QuantFactory
/
BFS-Prover-GGUF

Text Generation
Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
Model card Files
xet
Community
BFS-Prover-GGUF

Commit History

Upload BFS-Prover.Q4_K_S.gguf with huggingface_hub
f5a3bc6
verified

aashish1904 commited on

Upload BFS-Prover.Q3_K_S.gguf with huggingface_hub
9a733ae
verified

aashish1904 commited on

Upload BFS-Prover.Q3_K_M.gguf with huggingface_hub
5c8997c
verified

aashish1904 commited on

Upload BFS-Prover.Q3_K_L.gguf with huggingface_hub
9c548f9
verified

aashish1904 commited on

Upload BFS-Prover.Q2_K.gguf with huggingface_hub
b73267d
verified

aashish1904 commited on

Upload BFS-Prover.Q5_1.gguf with huggingface_hub
054697a
verified

aashish1904 commited on

Upload BFS-Prover.Q5_0.gguf with huggingface_hub
7b252ea
verified

aashish1904 commited on

Upload BFS-Prover.Q5_K_S.gguf with huggingface_hub
923bbe7
verified

aashish1904 commited on

Upload BFS-Prover.Q5_K_M.gguf with huggingface_hub
1dae610
verified

aashish1904 commited on

Upload BFS-Prover.Q6_K.gguf with huggingface_hub
fea5fe0
verified

aashish1904 commited on

Upload BFS-Prover.Q8_0.gguf with huggingface_hub
64d526f
verified

aashish1904 commited on

Upload BFS-Prover.Q4_0.gguf with huggingface_hub
d32eed3
verified

aashish1904 commited on

Upload BFS-Prover.Q4_1.gguf with huggingface_hub
644dfe7
verified

aashish1904 commited on

Upload BFS-Prover.Q4_K_M.gguf with huggingface_hub
af6d1df
verified

aashish1904 commited on

Upload README.md with huggingface_hub
34209fb
verified

aashish1904 commited on

initial commit
0496a5e
verified

aashish1904 commited on