kamilburda/equational-reasoning-M4-1
Updated
Kamil Burda
kamilburda
AI & ML interests
None yet
Recent Activity
updated a model about 12 hours ago
kinit/hyperproof-solver-sft published a model about 12 hours ago
kinit/hyperproof-solver-sft updated a model 6 days ago
kinit/qwen35-9b-deepmath-zero-grpo-8192Organizations
