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