Pythagoras-Prover-4B-GGUF

Description

Pythagoras-Prover-4B-GGUF is an open-weight text-generation model with roughly 4B parameters published by tinyopsec on the Hugging Face Hub. It has 2,032 downloads. Runs with llama-cpp.

Community Metrics

Categories

• Research
• Productivity

Tags

• llama-cpp
• quantized
• math
• reasoning
• theorem-proving
• text-generation
• en
• conversational

Capabilities

• Text generation
• Conversational
• GGUF quantised builds
• Library: llama-cpp
• 4B parameters

Information