Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Munkres' General Topology Autoformalized in Isabelle/HOL
Dustin Bryant, Jonathan Julián Huerta y Munive, Cezary Kaliszyk +1
We describe an experiment in LLM-assisted autoformalization that produced over 85,000 lines of Isabelle/HOL code covering all 39 sections of Munkres' Topology (general topology, Ch…
cs.AI2025
Learning Conjecturing from Scratch
Thibault Gauthier, Josef Urban
We develop a self-learning approach for conjecturing of induction predicates on a dataset of 16197 problems derived from the OEIS. These problems are hard for today's SMT and ATP s…
cs.AI2024
Learning Guided Automated Reasoning: A Brief Survey
Lasse Blaauwbroek, David Cerna, Thibault Gauthier +4
Automated theorem provers and formal proof assistants are general reasoning systems that are in theory capable of proving arbitrarily hard theorems, thus solving arbitrary problems…