Ferromagnetic Order in 2D Layers of Transition Metal Dichlorides von Aguirre, Andrea, Pinar Solé, Andrés, Soler Polo, Diego, González‐Orellana, Carmen, Thakur, Amitayush, Ortuzar, Jon, Stesovych, Oleksandr, Kumar, Manish, Peña‐Díaz, Marina, Weber, Andrew, Tallarida, Massimo, Dai, Ji, Dreiser, Jan, Muntwiler, Matthias, Rogero, Celia, Pascual, José Ignacio, Jelínek, Pavel, Ilyn, Maxim, Corso, Martina

Volltext

An In-Context Learning Agent for Formal Theorem-Proving von Thakur, Amitayush, Tsoukalas, George, Wen, Yeming, Xin, Jimmy, Chaudhuri, Swarat

Volltext bestellen

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition von Tsoukalas, George, Lee, Jasper, Jennings, John, Xin, Jimmy, Ding, Michelle, Jennings, Michael, Thakur, Amitayush, Chaudhuri, Swarat

Volltext bestellen

An In-Context Learning Agent for Formal Theorem-Proving von Thakur, Amitayush, Tsoukalas, George, Wen, Yeming, Xin, Jimmy, Chaudhuri, Swarat

Volltext

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition von Tsoukalas, George, Lee, Jasper, Jennings, John, Xin, Jimmy, Ding, Michelle, Jennings, Michael, Thakur, Amitayush, Chaudhuri, Swarat

Volltext