Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Web3 Platform for Formal Mathematics

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

Guiding Enumerative Program Synthesis with Large Language Models (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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

Learning Guided Automated Reasoning: A Brief Survey (se abrirá en una nueva ventana)

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

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0