EasyChair Smart SlideUser guide
Conference: AIPV2026 (AI, Proof and Verification (AIPV))

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

Large Language Models for Verification of Reactive Programs

Large Language Models for Verification of Reactive Programs

Holly Hendry, Pedro Ribeiro and Frank Soboczenski

S2n-Bignum-Bench: a Practical Benchmark for Evaluating Low-Level Code Reasoning of LLMs

S2n-Bignum-Bench: a Practical Benchmark for Evaluating Low-Level Code Reasoning of LLMs

Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee and Carlo Lipizzi

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

Austin Letson, Leopoldo Sarra, Auguste Poiroux, Oliver Dressler, Paul Lezeau, Dhyan Aranha, Frederik Pu, Aaron Hill, Miguel Corredera Hidalgo, Julian Berman, George Tsoukalas and Lenny Taelman

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