kamilburda/equational-reasoning-M4-1
Updated
Kamil Burda
kamilburda
AI & ML interests
None yet
Recent Activity
updated a model about 21 hours ago
kinit/qwen35-9b-deepmath-zero-grpo-8192 published a model 2 days ago
kinit/qwen35-9b-deepmath-zero-grpo-8192 updated a model 5 days ago
kinit/equational-prover-global-sftOrganizations
