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