Publications
2024
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic
Johannes Niederhauser and Chad E. Brown and Cezary Kaliszyk
IJCAR, 2024
Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery
Kristina Aleksandrova and Jan Jakubův and Cezary Kaliszyk
LPAR, 2024
Experiments with Choice in Dependently-Typed Higher-Order Logic
Daniel Ranalter and Chad E. Brown and Cezary Kaliszyk
LPAR, 2024
Solving Hard Mizar Problems with Instantiation and Strategy Invention
Jan Jakubův and Mikoláš Janota and Josef Urban
CICM, 2024
Guiding Enumerative Program Synthesis with Large Language Models
Yixuan Li and Julian Parsert and Elizabeth Polgreen
CAV, 2024
Learning Guided Automated Reasoning: A Brief Survey
Lasse Blaauwbroek and David M. Cerna and Thibault Gauthier and Jan Jakubuv and Cezary Kaliszyk and Martin Suda and Josef Urban
Logics and Type Systems in Theory and Practice, 2024
