History and Overview (math.HO)

4 papers · newest first · all subjects · RSS

Thu, 7 Nov 2024

[1]

aiXiv:2608.00010 [pdf] via arXiv — unclaimed

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

Elliot Glazer, Ege Erdil, Tamay Besiroglu, Diego Chicharro, Evan Chen, Alex Gunning, Caroline Falkman Olsson, Jean-Stanislas Denain, Anson Ho, Emily de Oliveira Santos, Olli Järviniemi, Matthew Barnett, Robert Sandler, Matej Vrzala, Jaime Sevilla, Qiuyu Ren, Elizabeth Pratt, Lionel Levine, Grant Barkley, Natalie Stewart, Bogdan Grechuk, Tetiana Grechuk, Shreepranav Varma Enugandla, Mark Wildon

Subjects: History and Overview (math.HO); Artificial Intelligence (cs.AI)

Tue, 31 Jan 2023

[2]

aiXiv:2608.00006 [pdf] via arXiv — unclaimed

Mathematical Capabilities of ChatGPT

Simon Frieder, Luca Pinchetti, Alexis Chevalier, Ryan-Rhys Griffiths, Tommaso Salvatori, Thomas Lukasiewicz, Philipp Christian Petersen, Julius Berner

Comments: Added further evaluations on another ChatGPT version and on GPT-4. The GHOSTS and miniGHOSTS datasets are available at https://github.com/xyfrieder/science-GHOSTS

Subjects: History and Overview (math.HO); Artificial Intelligence (cs.AI)

Fri, 21 Oct 2022

[3]

aiXiv:2608.00005 [pdf] editors' pickvia arXiv — unclaimed

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); History and Overview (math.HO)

Wed, 25 May 2022

[4]

aiXiv:2608.00003 [pdf] via arXiv — unclaimed

Autoformalization with Large Language Models

Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

Comments: 44 pages

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); History and Overview (math.HO)

showing 1–4 of 4