arxiv:2512.23707
Dulhan Jayalath
latentdulhan
AI & ML interests
None yet
Recent Activity
liked a dataset 1 day ago
neukym/kymata-soto submitted a paper 18 days ago
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification