Towards a Common Framework for Autoformalization

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

doi:10.1609/aaai.v40i48.42132

Towards a Common Framework for Autoformalization

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the AAAI Conference on Artificial Intelligence
Pages	40971-40980
Number of pages	10
Volume	40
DOIs	https://doi.org/10.1609/aaai.v40i48.42132
Publication status	Published - 14 Mar 2026

Access to Document

10.1609/aaai.v40i48.42132

Cite this

@inproceedings{59e37422a2e14d89b57f2dd9dcda5f7b,

title = "Towards a Common Framework for Autoformalization",

author = "Agnieszka Mensfelt and \{Tena Cucala\}, David and Santiago Franco and Angeliki Koutsoukou-Argyraki and Vince Trencsenyi and Kostas Stathis",

year = "2026",

month = mar,

day = "14",

doi = "10.1609/aaai.v40i48.42132",

language = "English",

volume = "40",

pages = "40971--40980",

booktitle = "Proceedings of the AAAI Conference on Artificial Intelligence",

}

TY - GEN

T1 - Towards a Common Framework for Autoformalization

AU - Mensfelt, Agnieszka

AU - Tena Cucala, David

AU - Franco, Santiago

AU - Koutsoukou-Argyraki, Angeliki

AU - Trencsenyi, Vince

AU - Stathis, Kostas

PY - 2026/3/14

Y1 - 2026/3/14

U2 - 10.1609/aaai.v40i48.42132

DO - 10.1609/aaai.v40i48.42132

M3 - Conference contribution

VL - 40

SP - 40971

EP - 40980

BT - Proceedings of the AAAI Conference on Artificial Intelligence

ER -