Image de couverture de livre

Towards a Common Framework for Autoformalization

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mensfelt, Agnieszka, Cucala, David Tena, Franco, Santiago, Koutsoukou-Argyraki, Angeliki, Trencsenyi, Vince, Stathis, Kostas
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios
par: Mensfelt, Agnieszka, et autres
Publié: (2024)

Autoformalization of Game Descriptions using Large Language Models
par: Mensfelt, Agnieszka, et autres
Publié: (2024)

A Survey on Hypergame Theory: Modeling Misaligned Perceptions and Nested Beliefs for Multi-agent Systems
par: Trencsenyi, Vince, et autres
Publié: (2025)

The Influence of Human-inspired Agentic Sophistication in LLM-driven Strategic Reasoners
par: Trencsenyi, Vince, et autres
Publié: (2025)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
par: Mensfelt, Agnieszka, et autres
Publié: (2024)

Approximating Human Strategic Reasoning with LLM-Enhanced Recursive Reasoners Leveraging Multi-agent Hypergames
par: Trencsenyi, Vince, et autres
Publié: (2025)

Hypergame Rationalisability: Solving Agent Misalignment In Strategic Play
par: Trencsenyi, Vince
Publié: (2025)

A New Approach Towards Autoformalization
par: Patel, Nilay, et autres
Publié: (2023)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
par: Morris, Matthew, et autres
Publié: (2025)

SITA: A Framework for Structure-to-Instance Theorem Autoformalization
par: Li, Chenyi, et autres
Publié: (2025)

Autoformalizer with Tool Feedback
par: Guo, Qi, et autres
Publié: (2025)

Proceedings of the Second International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2025)
par: Nguyen, Ha-Thanh, et autres
Publié: (2025)

Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024)
par: Satoh, Ken, et autres
Publié: (2024)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
par: Morris, Matthew, et autres
Publié: (2024)

IoT Device Identification with Machine Learning: Common Pitfalls and Best Practices
par: Kostas, Kahraman, et autres
Publié: (2026)

Improving Autoformalization Using Direct Dependency Retrieval
par: Wang, Shaoqi, et autres
Publié: (2025)

FormaRL: Enhancing Autoformalization with no Labeled Data
par: Huang, Yanxing, et autres
Publié: (2025)

Autoformalizing Euclidean Geometry
par: Murphy, Logan, et autres
Publié: (2024)

Autoformalization in the Era of Large Language Models: A Survey
par: Weng, Ke, et autres
Publié: (2025)

MerLean: An Agentic Framework for Autoformalization in Quantum Computation
par: Ren, Yuanjie, et autres
Publié: (2026)

Faithful Autoformalization via Roundtrip Verification and Repair
par: Amrollahi, Daneshvar, et autres
Publié: (2026)

MathAtlas: A Benchmark for Autoformalization in the Wild
par: Patel, Nilay, et autres
Publié: (2026)

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
par: Zhang, Jiyao, et autres
Publié: (2025)

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
par: Liu, Xiaoyang, et autres
Publié: (2026)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
par: Gupte, Mihir, et autres
Publié: (2025)

IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch
par: Biyani, Param, et autres
Publié: (2025)

Reliable Evaluation and Benchmarks for Statement Autoformalization
par: Poiroux, Auguste, et autres
Publié: (2024)

Can Large Language Models Autoformalize Kinematics?
par: Kabra, Aditi, et autres
Publié: (2025)

An Evaluation Benchmark for Autoformalization in Lean4
par: Gulati, Aryan, et autres
Publié: (2024)

Munkres' General Topology Autoformalized in Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2026)

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
par: Motwani, Sumeet Ramesh, et autres
Publié: (2026)

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
par: Liu, Xiaoyang, et autres
Publié: (2025)

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
par: Zhou, Jin Peng, et autres
Publié: (2024)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
par: Cabral, Rafael, et autres
Publié: (2025)

SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
par: Su, Xiaole, et autres
Publié: (2026)

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
par: Liu, Yuntian, et autres
Publié: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
par: Brown, Chad E., et autres
Publié: (2026)

FormalAlign: Automated Alignment Evaluation for Autoformalization
par: Lu, Jianqiao, et autres
Publié: (2024)

Towards A Litmus Test for Common Sense
par: Latapie, Hugo
Publié: (2025)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
par: Agarwal, Anmol, et autres
Publié: (2026)