Reinforcement learning to improve proof-automation in theorem proving

Informacje na temat projektu

DeepIsaHOL

Identyfikator umowy o grant: 101102608

DOI

10.3030/101102608

Projekt został zamknięty

Data podpisania przez KE 9 Marca 2023

Data rozpoczęcia 1 Lipca 2023

Data zakończenia 31 Października 2025

Finansowanie w ramach

• Marie Skłodowska-Curie Actions (MSCA)

Koszt całkowity

Brak danych

Wkład UE

€ 166 278,72

Koordynowany przez

CESKE VYSOKE UCENI TECHNICKE V PRAZE
Czechia

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 .

Rezultaty

Documents, reports (1)

Communication, Dissemination & Exploitation Plan

The plan describes the planned measures to maximize the impact of the project, including the dissemination and exploitation measures that are planned, and the target group(s) addressed. Regarding communication measures and public engagement strategy, the aim is to inform and reach out to society and show the activities performed, and the use and the benefits the project will have for citizens.

Data Management Plan (1)

Data Management Plan

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will be curated and preserved.

Publikacje

Conference proceedings (2)

WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts

Autorzy: Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
Opublikowane w: Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2025
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-78750-8_4

The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs

Autorzy: Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
Opublikowane w: 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), 2025
Wydawca: IEEE
DOI: 10.1109/FORMALISE66629.2025.00010

Peer reviewed articles (1)

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale

Autorzy: Jonathan Julián Huerta y Munive; Simon Foster; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman
Opublikowane w: Journal of Automated Reasoning, 2024, ISSN 1573-0670
Wydawca: Springer
DOI: 10.1007/S10817-024-09709-2