Neil Murray
Pyfagorass
ยท
AI & ML interests
None yet
Recent Activity
upvoted
an
article
13 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
liked
a dataset
13 days ago
AI-MO/NuminaMath-LEAN
liked
a model
about 1 month ago
apple/DiffuCoder-7B-cpGRPO
Organizations
None yet