Results 31 to 40 of about 107 (95)

Towards a Common Framework for Autoformalization

Proceedings of the AAAI Conference on Artificial Intelligence
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).
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis   +5 more
openaire   +3 more sources

Structure représentationnelle de l’intelligence artificielle et de ses usages en didactique de la compréhension de l’oral en français langue étrangère [PDF]

Akofena
Résumé: Notre contribution explore la structure des représentations sociales de quatre enseignantes de français langue étrangère au sujet de l’intelligence artificielle et leurs usages en contexte scolaire.
Nawal BOUDECHICHE & Djihad MESSAADIA
doaj  

Monotonic Reference-Free Refinement for Autoformalization

CoRR
Preprint
Lan Zhang, Marco Valentino, André Freitas   +2 more
openaire   +2 more sources

Reliable Evaluation and Benchmarks for Statement Autoformalization

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing
Accepted to EMNLP 2025. New benchmarks released, see https://github.com/augustepoiroux/RLMEval , https://huggingface.co/datasets/PAug/ProofNetSharp , and https://huggingface.co/datasets/PAug/ProofNetVerif .
Poiroux, Auguste, Weiss, Gail Garfinkel, Kunčak, Viktor, Bosselut, Antoine   +3 more
openaire   +3 more sources

Consistent Autoformalization for Constructing Mathematical Libraries

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing
EMNLP 2024 camera ...
Lan Zhang, Xin Quan, André Freitas
openaire   +3 more sources

FormaRL: Enhancing Autoformalization with no Labeled Data

CoRR
Autoformalization is one of the central tasks in formal verification, while its advancement remains hindered due to the data scarcity and the absence efficient methods. In this work we propose \textbf{FormaRL}, a simple yet efficient reinforcement learning framework for autoformalization which only requires a small amount of unlabeled data.
Yanxing Huang, Xinling Jin, Sijie Liang, Peng Li, Yang Liu   +4 more
openaire   +2 more sources

L’autoformation d’enseignants novices, expérimentés et déserteurs comme pistes d’amélioration de la formation universitaire

Canadian Journal of Education, 2010
Cette recherche explore et décrit l’apport de l’autoformation dans l’insertion et le maintien en emploi d’enseignants québécois aux ordres primaire et secondaire et en adaptation scolaire, ceux‐là même dont l’environnement professionnel se conjugue aux ...
Francine d’Ortun, Joanne Pharand
doaj   +2 more sources

FormalAlign: Automated Alignment Evaluation for Autoformalization

CoRR
Autoformalization aims to convert informal mathematical proofs into machine-verifiable formats, bridging the gap between natural and formal languages. However, ensuring semantic alignment between the informal and formalized statements remains challenging. Existing approaches heavily rely on manual verification, hindering scalability.
Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo   +5 more
openaire   +3 more sources

PAT-Agent: Autoformalization for Model Checking

2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Accepted in ASE 2025 (International Conference on Automated Software Engineering)
Xinyue Zuo, Yifan Zhang 0019, Hongshu Wang, Yufan Cai 0001, Zhe Hou, Jing Sun 0002, Jin Song Dong 0001   +6 more
openaire   +3 more sources

Process-Driven Autoformalization in Lean 4

CoRR
Autoformalization, the conversion of natural language mathematics into formal languages, offers significant potential for advancing mathematical reasoning. However, existing efforts are limited to formal languages with substantial online corpora and struggle to keep pace with rapidly evolving languages like Lean 4.
Lu, Jianqiao, Wan, Yingjia, Liu, Zhengying, Huang, Yinya, Xiong, Jing, Liu, Chengwu, Shen, Jianhao, Jin, Hui, Zhang, Jipeng, Wang, Haiming, Yang, Zhicheng, Tang, Jing, Guo, Zhijiang   +12 more
openaire   +2 more sources