4 citations · 7 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
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…
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.…
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
Amitayush Thakur, George Tsoukalas, Greg Durrett +1
Neural approaches to theorem proving require robust infrastructure for interfacing with interactive theorem provers (ITPs), extracting structured proof data, and executing proof se…