Image de couverture de livre

SITA: A Framework for Structure-to-Instance Theorem Autoformalization

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Li, Chenyi, Ma, Wanli, Wang, Zichen, Wen, Zaiwen
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

M2F: Automated Formalization of Mathematical Literature at Scale
par: Wang, Zichen, et autres
Publié: (2026)

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
par: Li, Chenyi, et autres
Publié: (2026)

Advancing Mathematical Research via Human-AI Interactive Theorem Proving
par: Li, Chenyi, et autres
Publié: (2025)

CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean
par: Long, Wentao, et autres
Publié: (2026)

Towards a Common Framework for Autoformalization
par: Mensfelt, Agnieszka, et autres
Publié: (2025)

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

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

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

Translating Informal Proofs into Formal Proofs Using a Chain of States
par: Wang, Ziyu, et autres
Publié: (2025)

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

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

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

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

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

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

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

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

ODE-based Learning to Optimize
par: Xie, Zhonglin, et autres
Publié: (2024)

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

OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modeling
par: Lu, Hongliang, et autres
Publié: (2025)

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

An Improved Finite-time Analysis of Temporal Difference Learning with Deep Neural Networks
par: Ke, Zhifa, et autres
Publié: (2024)

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)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
par: Xie, Zichen, et autres
Publié: (2026)

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

Memorize Theorems, Not Instances: Probing SFT Generalization through Mathematical Reasoning
par: Peng, Ruiying, et autres
Publié: (2026)

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

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

CHOPS: CHat with custOmer Profile Systems for Customer Service with LLMs
par: Shi, Jingzhe, et autres
Publié: (2024)

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

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

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

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

OProver: A Unified Framework for Agentic Formal Theorem Proving
par: Ma, David, et autres
Publié: (2026)

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

Retrieval Augmented Diffusion Model for Structure-informed Antibody Design and Optimization
par: Wang, Zichen, et autres
Publié: (2024)

A Mamba-Based Multimodal Network for Multiscale Blast-Induced Rapid Structural Damage Assessment
par: Ma, Wanli, et autres
Publié: (2026)

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)