Web3 Platform for Formal Mathematics

Información del proyecto

FormalWeb3

Identificador del acuerdo de subvención: 101156734

DOI

10.3030/101156734

Proyecto cerrado

Fecha de la firma de la CE 26 Enero 2024

Fecha de inicio 1 Febrero 2024

Fecha de finalización 31 Julio 2025

Financiado con arreglo a

• European Research Council (ERC)

Coste total

Sin datos

Aportación de la UE

€ 150 000,00

Coordinado por

UNIVERSITAET INNSBRUCK
Austria

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (7)

Guiding Enumerative Program Synthesis with Large Language Models

Autores: Yixuan Li; Julian Parsert; Elizabeth Polgreen
Publicado en: Lecture Notes in Computer Science ISBN: 9783031656293, 2024
Editor: Springer
DOI: 10.48550/ARXIV.2403.03997

Machine Learning for Quantifier Selection in cvc5

Autores: Jakubův, Jan; Janota, Mikoláš; Piepenbrock, Jelle; Urban, Josef
Publicado en: Frontiers in Artificial Intelligence and Applications ISBN: 9781643685489, 2024
Editor: IOS Press
DOI: 10.48550/ARXIV.2408.14338

Experiments with Choice in Dependently-Typed Higher-Order Logic

Autores: Daniel Ranalter, Chad Brown, Cezary Kaliszyk
Publicado en: EPiC Series in Computing, Edición 100, 2024
Editor: EasyChair
DOI: 10.29007/2V8H

Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery

Autores: Aleksandrova, Kristina; Jakubuv, Jan; Kaliszyk, Cezary
Publicado en: 2024
Editor: EasyChair
DOI: 10.29007/SD6T

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

Autores: Pąk, Karol; Kaliszyk, Cezary
Publicado en: 2024
Editor: Schloss Dagstuhl
DOI: 10.48550/ARXIV.2410.00065

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

Autores: Johannes Niederhauser; Chad E. Brown; Cezary Kaliszyk
Publicado en: Lecture Notes in Computer Science ISBN: 9783031634970, 2024
Editor: Springer
DOI: 10.1007/978-3-031-63498-7_6

Solving Hard Mizar Problems with Instantiation and Strategy Invention

Autores: Jan Jakubův, Mikoláš Janota, Josef Urban
Publicado en: Lecture Notes in Computer Science, Intelligent Computer Mathematics, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-66997-2_18

Book chapters (1)

Learning Guided Automated Reasoning: A Brief Survey

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