Guiding Enumerative Program Synthesis with Large Language Models
(öffnet in neuem Fenster)
Autoren:
Yixuan Li; Julian Parsert; Elizabeth Polgreen
Veröffentlicht in:
Lecture Notes in Computer Science ISBN: 9783031656293, 2024
Herausgeber:
Springer
DOI:
10.48550/ARXIV.2403.03997
Machine Learning for Quantifier Selection in cvc5
(öffnet in neuem Fenster)
Autoren:
Jakubův, Jan; Janota, Mikoláš; Piepenbrock, Jelle; Urban, Josef
Veröffentlicht in:
Frontiers in Artificial Intelligence and Applications ISBN: 9781643685489, 2024
Herausgeber:
IOS Press
DOI:
10.48550/ARXIV.2408.14338
Experiments with Choice in Dependently-Typed Higher-Order Logic
(öffnet in neuem Fenster)
Autoren:
Daniel Ranalter, Chad Brown, Cezary Kaliszyk
Veröffentlicht in:
EPiC Series in Computing, Ausgabe 100, 2024
Herausgeber:
EasyChair
DOI:
10.29007/2V8H
Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery
(öffnet in neuem Fenster)
Autoren:
Aleksandrova, Kristina; Jakubuv, Jan; Kaliszyk, Cezary
Veröffentlicht in:
2024
Herausgeber:
EasyChair
DOI:
10.29007/SD6T
Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
(öffnet in neuem Fenster)
Autoren:
Pąk, Karol; Kaliszyk, Cezary
Veröffentlicht in:
2024
Herausgeber:
Schloss Dagstuhl
DOI:
10.48550/ARXIV.2410.00065
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic
(öffnet in neuem Fenster)
Autoren:
Johannes Niederhauser; Chad E. Brown; Cezary Kaliszyk
Veröffentlicht in:
Lecture Notes in Computer Science ISBN: 9783031634970, 2024
Herausgeber:
Springer
DOI:
10.1007/978-3-031-63498-7_6
Solving Hard Mizar Problems with Instantiation and Strategy Invention
(öffnet in neuem Fenster)
Autoren:
Jan Jakubův, Mikoláš Janota, Josef Urban
Veröffentlicht in:
Lecture Notes in Computer Science, Intelligent Computer Mathematics, 2025
Herausgeber:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-66997-2_18
