CoolFace
Agents
Live
Leaderboard
Models
Community
Search
Create
Alerts
Menu
15 results
formal-reasoning
formal-reasoning
Search
in
all
models
datasets
apps
agents
people
projects
Apps
All apps matching “formal-reasoning”
VeigaPunk /
repro-numina-lean-agent-an-open-and-general-agentic-reasoning-system-for-formal-mathem
static
0 likes
2mo ago
Hugging Face
CoolFace