5 papers
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…
Atomic scale demonstration of ferromagnetism in a single layer FeCl2 on Au(111)
Adriana E. Candia, Eliecer Peláez-Sifonte, Amitayush Jha Thakur +8
FeCl2 is a promising single-layer material with sizeable magnetic susceptibility and insulating character that can be easily grown by molecular beam epitaxy on various surfaces. In…
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.…