pinned
Running on Zero
Agents
CFM-Proof-3B
🔎
A control model that catches errors in mathematical proofs.
Joe Davis PRO
Joe-Davis
·
AI & ML interests
AI
Recent Activity
liked a Space 18 days ago
pollen-robotics/microduck-simulator updated a model 4 months ago
MorphMind-AI/CFM-Methods-7B updated a model 4 months ago
MorphMind-AI/CFM-Methods-3BOrganizations
