pinned
Sleeping
Agents
CFM-Proof-3B
🔎
A control model that catches errors in mathematical proofs.
Joe Davis PRO
Joe-Davis
·
AI & ML interests
AI
Recent Activity
updated a model 17 days ago
MorphMind-AI/CFM-Methods-7B updated a model 17 days ago
MorphMind-AI/CFM-Methods-3B published a model 18 days ago
MorphMind-AI/CFM-Methods-7BOrganizations
