First Experiments with Neural Translation of Informal to Formal Mathematics

10 May 2018

Papers citing "First Experiments with Neural Translation of Informal to Formal Mathematics"

10 / 10 papers shown

Title
Hierarchical Attention Generates Better Proofs Jianlong Chen Chao Li Yang Yuan Andrew Chi-Chih Yao AIMat LRM 33 0 0 27 Apr 2025
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data Xiaoyang Liu Kangjie Bao Jiashuo Zhang Yunqi Liu Yu Chen Yu Chen Yang Jiao Tao Luo AIMat 55 0 0 08 Feb 2025
FLARE: Faithful Logic-Aided Reasoning and Exploration Erik Arakelyan Pasquale Minervini Pat Verga Patrick Lewis Isabelle Augenstein ReLM LRM 69 2 0 14 Oct 2024
Herald: A Natural Language Annotated Lean 4 Dataset Guoxiong Gao Yutong Wang Jiedong Jiang Qi Gao Zihan Qin Tianyi Xu Bin Dong 88 3 0 09 Oct 2024
Neural Machine Translation for Mathematical Formulae Felix Petersen M. Schubotz André Greiner-Petter Bela Gipp 26 7 0 25 May 2023
Translating SUMO-K to Higher-Order Set Theory C. Brown A. Pease Josef Urban LRM 21 2 0 13 May 2023
Alien Coding Thibault Gauthier Miroslav Olsák J. Urban 30 7 0 27 Jan 2023
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs Garett Cunningham Razvan C. Bunescu D. Juedes LRM 18 16 0 05 Jan 2023
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 25 120 0 11 Feb 2021
Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text Deborah Ferreira André Freitas AIMat 9 32 0 30 Apr 2020