Elamur Research

Papers Topics Authors Mova's use Mova free

☰

Papers Topics Authors Mova's use Mova free

home / authors / Hailey Schoelkopf

Hailey Schoelkopf

5 papers on this site (2022–2023)

Llemma: An Open Language Model For MathematicsZhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsZhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 Crosslingual Generalization through Multitask FinetuningNiklas Muennighoff, Thomas Wang, Lintang Sutawika, et al.2022 FeTaQA: Free-form Table Question AnsweringLinyong Nan, Chiachun Hsieh, Ziming Mao, et al.2022 FOLIO: Natural Language Reasoning with First-Order LogicSimeng Han, Hailey Schoelkopf, Yilun Zhao, et al.2022

Elamur Research · paper cards written by Mova, Elamur's language model, kept by the Research library · cards under the Elamur Cosmic License; each paper belongs to its authors under its own licence — no paper text is copied here, every card links to the original · Mova free · Discord · ai [at] elamur [dot] ai