Web3 Platform for Formal Mathematics

Informations projet

FormalWeb3

N° de convention de subvention: 101156734

DOI

10.3030/101156734

Projet clôturé

Date de signature de la CE 26 Janvier 2024

Date de début 1 Février 2024

Date de fin 31 Juillet 2025

Financé au titre de

• European Research Council (ERC)

Coût total

Aucune donnée

Contribution de l’UE

€ 150 000,00

Coordonné par

UNIVERSITAET INNSBRUCK
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (7)

Guiding Enumerative Program Synthesis with Large Language Models

Auteurs: Yixuan Li; Julian Parsert; Elizabeth Polgreen
Publié dans: Lecture Notes in Computer Science ISBN: 9783031656293, 2024
Éditeur: Springer
DOI: 10.48550/ARXIV.2403.03997

Machine Learning for Quantifier Selection in cvc5

Auteurs: Jakubův, Jan; Janota, Mikoláš; Piepenbrock, Jelle; Urban, Josef
Publié dans: Frontiers in Artificial Intelligence and Applications ISBN: 9781643685489, 2024
Éditeur: IOS Press
DOI: 10.48550/ARXIV.2408.14338

Experiments with Choice in Dependently-Typed Higher-Order Logic

Auteurs: Daniel Ranalter, Chad Brown, Cezary Kaliszyk
Publié dans: EPiC Series in Computing, Numéro 100, 2024
Éditeur: EasyChair
DOI: 10.29007/2V8H

Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery

Auteurs: Aleksandrova, Kristina; Jakubuv, Jan; Kaliszyk, Cezary
Publié dans: 2024
Éditeur: EasyChair
DOI: 10.29007/SD6T

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

Auteurs: Pąk, Karol; Kaliszyk, Cezary
Publié dans: 2024
Éditeur: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2410.00065

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

Auteurs: Johannes Niederhauser; Chad E. Brown; Cezary Kaliszyk
Publié dans: Lecture Notes in Computer Science ISBN: 9783031634970, 2024
Éditeur: Springer
DOI: 10.1007/978-3-031-63498-7_6

Solving Hard Mizar Problems with Instantiation and Strategy Invention

Auteurs: Jan Jakubův, Mikoláš Janota, Josef Urban
Publié dans: Lecture Notes in Computer Science, Intelligent Computer Mathematics, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-66997-2_18

Book chapters (1)

Learning Guided Automated Reasoning: A Brief Survey

Auteurs: Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban
Publié dans: Lecture Notes in Computer Science, Logics and Type Systems in Theory and Practice, 2024
Éditeur: Springer
DOI: 10.1007/978-3-031-61716-4_4