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