Tvárné architektury pro automatické dokazování vět

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202400001

Hlavní účastníci

České vysoké učení technické v Praze / Český institut informatiky, robotiky a kybernetiky

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

24-12759S

Název projektu anglicky

Malleable Theorem Proving Architectures

Anotace anglicky

Encouraged by the promising results of the recent years with the improvement of automatic theorem provers by the integration of (deep) machine learning components, this project aims to bring the technology to a new level by proposing and implementing new theorem proving architectures directly designed to benefit the most from the marriage of the deductive and inductive technologies. The ultimate aim of the project is to improve the performance of a state-of-the-art prover in terms of general-purpose proving skills (as measured on problems from the representative TPTP library) by at least 15 percent. A corresponding improvement in application areas such as automation in interactive theorem proving or program verification is expected to follow.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 1. 2024

Ukončení řešení

31. 12. 2026

Poslední stav řešení

Z - Začínající víceletý projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP24-GA0-GA-R

Datum dodání záznamu

27. 2. 2024

Celkové uznané náklady

7 998 tis. Kč

Výše podpory ze státního rozpočtu

7 998 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč