arxiv:2512.23707
Dulhan Jayalath
latentdulhan
AI & ML interests
None yet
Recent Activity
submitted
a paper
about 8 hours ago
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification upvoted a paper about 8 hours ago
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification updated
a model about 1 month ago
pnpl/MEG-XL Organizations
