Hugging Face's logo
Neil Murray's picture
2 2

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
View all activity

Organizations

None yet