David Tena Cucala — accepted AI-conference papers

2026

Towards a Common Framework for Autoformalization

Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis

AAAI 2026technical

Autoformalization has emerged as a term referring to the automation of formalization in the context of the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in deep learning, especially large language models (LLMs). M

Cited by 0 Source ↗PDF ↗Scholar ↗

2024

Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic

Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev

AAAI 2024technical

The success of Graph Neural Networks (GNNs) in practice has motivated extensive research on their theoretical properties. This includes recent results that characterise node classifiers expressible by GNNs in terms of first order logic. Most of the analysis, however, has been focused on GNNs with fi…

Cited by 6 Source ↗PDF ↗Scholar ↗