Web3 Platform for Formal Mathematics

Informacje na temat projektu

FormalWeb3

Identyfikator umowy o grant: 101156734

DOI

10.3030/101156734

Projekt został zamknięty

Data podpisania przez KE 26 Stycznia 2024

Data rozpoczęcia 1 Lutego 2024

Data zakończenia 31 Lipca 2025

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

Brak danych

Wkład UE

€ 150 000,00

Koordynowany przez

UNIVERSITAET INNSBRUCK
Austria

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (7)

Guiding Enumerative Program Synthesis with Large Language Models

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

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

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

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

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

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

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

Book chapters (1)

Learning Guided Automated Reasoning: A Brief Survey

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