BFS-Prover-GGUF

Description

BFS-Prover-GGUF is an open-weight text-generation model published by QuantFactory on the Hugging Face Hub. It has 239 downloads. Runs with transformers.

Categories

• Research
• Productivity

Tags

• lean4
• theorem-proving
• formal-mathematics
• text-generation
• en
• conversational

Capabilities

• Text generation
• Conversational
• GGUF quantised builds
• Library: transformers