Web3 Platform for Formal Mathematics

Project Information

FormalWeb3

Grant agreement ID: 101156734

DOI

10.3030/101156734

Project closed

EC signature date 26 January 2024

Start date 1 February 2024

End date 31 July 2025

Funded under

• European Research Council (ERC)

Total cost

No data

EU contribution

€ 150 000,00

Coordinated by

UNIVERSITAET INNSBRUCK
Austria

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (7)

Guiding Enumerative Program Synthesis with Large Language Models

Author(s): Yixuan Li; Julian Parsert; Elizabeth Polgreen
Published in: Lecture Notes in Computer Science ISBN: 9783031656293, 2024
Publisher: Springer
DOI: 10.48550/ARXIV.2403.03997

Machine Learning for Quantifier Selection in cvc5

Author(s): Jakubův, Jan; Janota, Mikoláš; Piepenbrock, Jelle; Urban, Josef
Published in: Frontiers in Artificial Intelligence and Applications ISBN: 9781643685489, 2024
Publisher: IOS Press
DOI: 10.48550/ARXIV.2408.14338

Experiments with Choice in Dependently-Typed Higher-Order Logic

Author(s): Daniel Ranalter, Chad Brown, Cezary Kaliszyk
Published in: EPiC Series in Computing, Issue 100, 2024
Publisher: EasyChair
DOI: 10.29007/2V8H

Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery

Author(s): Aleksandrova, Kristina; Jakubuv, Jan; Kaliszyk, Cezary
Published in: 2024
Publisher: EasyChair
DOI: 10.29007/SD6T

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers

Author(s): Pąk, Karol; Kaliszyk, Cezary
Published in: 2024
Publisher: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2410.00065

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic

Author(s): Johannes Niederhauser; Chad E. Brown; Cezary Kaliszyk
Published in: Lecture Notes in Computer Science ISBN: 9783031634970, 2024
Publisher: Springer
DOI: 10.1007/978-3-031-63498-7_6

Solving Hard Mizar Problems with Instantiation and Strategy Invention

Author(s): Jan Jakubův, Mikoláš Janota, Josef Urban
Published in: Lecture Notes in Computer Science, Intelligent Computer Mathematics, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-66997-2_18

Book chapters (1)

Learning Guided Automated Reasoning: A Brief Survey

Author(s): Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban
Published in: Lecture Notes in Computer Science, Logics and Type Systems in Theory and Practice, 2024
Publisher: Springer
DOI: 10.1007/978-3-031-61716-4_4