EasyChair Smart SlideUser guide
Conference: EuroProofNet-WG5 (Theorem Proving and Machine Learning in the age of LLMs)

This page shows all presentations from this conference published in EasyChair Smart Slide.

DeepIsaHOL progress report: current machine learning for the Isabelle proof assistant

DeepIsaHOL progress report: current machine learning for the Isabelle proof assistant

Jonathan Julián Huerta Y Munive

Towards LLM-support for Deductive Verification of Java Programs

Towards LLM-support for Deductive Verification of Java Programs

Samuel Teuber and Bernhard Beckert

Kernel-level expression generator

Kernel-level expression generator

Job Petrovčič, Sebastian Mežnar and Ljupčo Todorovski

Structure-Aware Neural Representations of Agda Programs

Structure-Aware Neural Representations of Agda Programs

Konstantinos Kogkalidis, Orestis Melkonian and Jean-Philippe Bernardy

Between min cost search and least action

Between min cost search and least action

Tim Fernando

Formalizing Natural Language: Cultivating LLM Translations Using Automated Theorem Proving

Formalizing Natural Language: Cultivating LLM Translations Using Automated Theorem Proving

Richard Thompson, Adam Pease, Angelos Toutsios, Roberto Milanese Jr. and Jarrad Singley

The need for ethical guidelines in mathematical research in the time of generative AI

The need for ethical guidelines in mathematical research in the time of generative AI

Markus Pantsar

Automated Theorem Provers as the Hub of the AI Math Ecosystem

Automated Theorem Provers as the Hub of the AI Math Ecosystem

Stephan Schulz

Presentations in this collection: 8
Copyright © 2002 – 2026 EasyChair