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