@inproceedings{jncbck-ijcar24,
 author = {Johannes Niederhauser and
Chad E. Brown  and
Cezary Kaliszyk},
 booktitle = {{IJCAR}},
 doi = {10.1007/978-3-031-63498-7\_6},
 editor = {Christoph Benzm{\"{u}}ller and
Marijn J. H. Heule and
Renate A. Schmidt},
 pages = {86--104},
 series = {LNCS},
 title = {Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic},
 url = {https://doi.org/10.1007/978-3-031-63498-7\_6},
 volume = {14739},
 year = {2024}
}


@inproceedings{kajjck-lpar24,
 author = {Kristina Aleksandrova and
Jan Jakub\r{u}v and
Cezary Kaliszyk},
 booktitle = {{LPAR}},
 doi = {10.29007/SD6T},
 editor = {Nikolaj S. Bj{\o}rner and
Marijn Heule and
Andrei Voronkov},
 pages = {360--369},
 publisher = {EasyChair},
 series = {EPiC Series in Computing},
 title = {Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery},
 url = {https://doi.org/10.29007/sd6t},
 volume = {100},
 year = {2024}
}


@inproceedings{drcbck-lpar24,
 author = {Daniel Ranalter and
Chad E. Brown  and
Cezary Kaliszyk},
 booktitle = {{LPAR}},
 doi = {10.29007/2V8H},
 editor = {Nikolaj S. Bj{\o}rner and
Marijn Heule and
Andrei Voronkov},
 pages = {311--320},
 publisher = {EasyChair},
 series = {EPiC Series in Computing},
 title = {Experiments with Choice in Dependently-Typed Higher-Order Logic},
 url = {https://doi.org/10.29007/2v8h},
 volume = {100},
 year = {2024}
}


@inproceedings{jjmjju-cicm24,
 author = {Jan Jakubův and 
Mikoláš Janota and 
Josef Urban},
 booktitle = {{CICM}},
 pages = {1--1},
 publisher = {EasyChair},
 series = {EPiC Series in Computing},
 title = {Solving Hard Mizar Problems with Instantiation and Strategy Invention},
 volume = {(to appear)},
 year = {2024}
}


@inproceedings{yljpep-cav24,
 author = {Yixuan Li and
Julian Parsert and
Elizabeth Polgreen},
 booktitle = {{CAV}},
 pages = {1--1},
 title = {Guiding Enumerative Program Synthesis with Large Language Models},
 volume = {(to appear)},
 year = {2024}
}


@inproceedings{lbdctgjjckmsju-geuvers24,
 arxivurl = {https://arxiv.org/abs/2403.04017},
 author = {Lasse Blaauwbroek and
David M. Cerna and
Thibault Gauthier and
Jan Jakubuv and
Cezary Kaliszyk and
Martin Suda and
Josef Urban},
 booktitle = {Logics and Type Systems in Theory and Practice - Essays Dedicated
to Herman Geuvers on The Occasion of His 60th Birthday},
 doi = {10.1007/978-3-031-61716-4\_4},
 editor = {Venanzio Capretta and
Robbert Krebbers and
Freek Wiedijk},
 pages = {54--83},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Learning Guided Automated Reasoning: {A} Brief Survey},
 url = {https://doi.org/10.1007/978-3-031-61716-4\_4},
 volume = {14560},
 year = {2024}
}