all AI news
EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages
Feb. 28, 2024, 5:42 a.m. | Johnathan Mercer
cs.LG updates on arXiv.org arxiv.org
Abstract: Formal mathematics is the discipline of translating mathematics into a programming language in which any statement can be unequivocally checked by a computer. Mathematicians and computer scientists have spent decades of painstaking formalization efforts developing languages such as Coq, HOL, and Lean. Machine learning research has converged on these formal math corpora and given rise to an assortment of methodologies to aid in interactive and automated theorem proving. However, these papers have primarily focused on …
abstract arxiv benchmarking computer cs.ai cs.cl cs.lg cs.ne formal mathematics framework gpt language languages lean machine machine learning math mathematics programming programming language research scientists type
More from arxiv.org / cs.LG updates on arXiv.org
Jobs in AI, ML, Big Data
Founding AI Engineer, Agents
@ Occam AI | New York
AI Engineer Intern, Agents
@ Occam AI | US
AI Research Scientist
@ Vara | Berlin, Germany and Remote
Data Architect
@ University of Texas at Austin | Austin, TX
Data ETL Engineer
@ University of Texas at Austin | Austin, TX
Lead GNSS Data Scientist
@ Lurra Systems | Melbourne