3 papers
cs.AI2025
Learning Interestingness in Automated Mathematical Theory Formation
George Tsoukalas, Rahul Saha, Amitayush Thakur +2
We take two key steps in automating the open-ended discovery of new mathematical theories, a grand challenge in artificial intelligence. First, we introduce , a rein…
cs.LG2025
CLEVER: A Curated Benchmark for Formally Verified Code Generation
Amitayush Thakur, Jasper Lee, George Tsoukalas +6
We introduce , a high-quality, curated benchmark of 161 problems for end-to-end verified code generation in Lean. Each problem consists of (1) the task of ge…
cond-mat.str-el2025
Large Seebeck coefficient driven by "pudding mold" flat band in hole-doped CuRhO
Amitayush Jha Thakur, Maximilian Thees, Franck Fortuna +7
We report the measurement, using angle-resolved photoemission spectroscopy, of the metallic electronic structure of the hole-doped thermoelectric oxide CuRhMgO.…