4 citations · 7 across the 8 of their papers we have counts for
10 papers
Enabling the Ambient Pressure Growth of ScB2 Crystals for AlGaN Power Electronics
Satya K. Kushwaha, Ahamed Raihan, Astrid D. Kengne +19
Here we report the growth of single crystalline ScB2, an ultrahigh-temperature ceramic, at ambient pressure in a laser-heated Optical Floating Zone via the travelling solvent metho…
PR-Smoother: Simulator-Preserving Non-Gaussian Smoothing for Data Assimilation
Yuta Tarumi
Many physical data assimilation (DA) workflows require smoothing methods that represent non-Gaussian posteriors over physical state variables, scale to high-dimensional simulators,…
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…
Crystal growth and characterization of the ultra-high temperature substrate
Evan N. Crites, Sharad Mahatara, Joshua R. Hummel +12
Incorporation of (AGN) semiconductors into high power electronics offers efficiency improvements in power transmission, generation, and use, if approache…
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…
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
George Tsoukalas, Jasper Lee, John Jennings +5
We present PutnamBench, a new multi-language benchmark for evaluating the ability of neural theorem-provers to solve competition mathematics problems. PutnamBench consists of 1692…
An In-Context Learning Agent for Formal Theorem-Proving
Amitayush Thakur, George Tsoukalas, Yeming Wen +2
We present an in-context learning agent for formal theorem-proving in environments like Lean and Coq. Current state-of-the-art models for the problem are finetuned on environment-s…