Results 41 to 50 of about 107 (95)
Fabrication of bioinspired edible liquid marble with phase transition and tunable water barrier property. [PDF]
Biodes Manuf, 2021 Wang D, Li S, Wang B, Guo Z, Liu W.
europepmc +1 more source
Anuario de Investigaciones, 2007 La autoformación requiere la evolución del perfil docente a un rol de acompañante. El desplazamiento que ello implica y el abandono de roles ya establecidos generan resistencias tanto en el docente como en el alumno.
María Laura Valcarce, Nilda Venticinque
doaj
, 2014 Cet article de dictionnaire présente le terme d’autoformation en mettant en évidence les recouvrements entre le sens qui lui est attribué dans le champ des pratiques et dans le champ de recherche. Il met également en perspective les débats à son propos et les enjeux en termes de recherche et d’action d’éducation et de formation.
openaire +1 more source
Autoformalization in the Era of Large Language Models: A Survey
CoRRAutoformalization, the process of transforming informal mathematical propositions into verifiable formal representations, is a foundational task in automated theorem proving, offering a new perspective on the use of mathematics in both theoretical and applied domains.
Ke Weng +6 more
openaire +3 more sources
Improving Autoformalization Using Direct Dependency Retrieval
Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)The convergence of deep learning and formal mathematics has spurred research in formal verification. Statement autoformalization, a crucial first step in this process, aims to translate informal descriptions into machine-verifiable representations but remains a significant challenge.
Shaoqi Wang +6 more
openaire +3 more sources
MerLean: An Agentic Framework for Autoformalization in Quantum Computation
CoRRWe introduce MerLean, a fully automated agentic framework for autoformalization in quantum computation. MerLean extracts mathematical statements from \LaTeX{} source files, formalizes them into verified Lean~4 code built on Mathlib, and translates the result back into human-readable \LaTeX{} for semantic review. We evaluate MerLean on three theoretical
Yuanjie Ren, Jinzheng Li, Yidi Qi
openaire +3 more sources
Numéro 18 (Automne 2020) : Animation et (auto)formation
Revue Internationale Animation, Territoires et Pratiques Socioculturelles, 2020 Jean-Marie Lafortune
doaj +1 more source
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
CoRRWhile recent AI-for-math has made strides in pure mathematics, areas of applied mathematics, particularly PDEs, remain underexplored despite their significant real-world applications. We present PDE-Controller, a framework that enables large language models (LLMs) to control systems governed by partial differential equations (PDEs).
Mauricio Soroco +5 more
openaire +3 more sources
MathAtlas: A Benchmark for Autoformalization in the Wild
Current autoformalization benchmarks are largely focused on olympiad or undergraduate mathematics, while graduate and research-level mathematics remains underexplored. In this paper, we introduce MathAtlas, the first large-scale autoformalization benchmark of in the wild graduate-level mathematics, containing ~52k theorems, definitions, exercises ...
Patel, Nilay +9 more
openaire +2 more sources
SITA: A Framework for Structure-to-Instance Theorem Autoformalization
Proceedings of the AAAI Conference on Artificial IntelligenceWhile large language models (LLMs) have shown progress in mathematical reasoning, they still face challenges in formalizing theorems that arise from instantiating abstract structures in concrete settings. With the goal of auto-formalizing mathematical results at the research level, we develop a framework for structure-to-instance theorem ...
Chenyi Li +3 more
openaire +4 more sources