Showing cs.AIShow all
2 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
Differentiable Inductive Logic Programming in High-Dimensional Space
StanisÅaw J. PurgaÅ, David M. Cerna, Cezary Kaliszyk
Synthesizing large logic programs through symbolic Inductive Logic Programming (ILP) typically requires intermediate definitions. However, cluttering the hypothesis space with inte…