:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Huang, Yanxing, Jin, Xinling, Liang, Sijie, Li, Peng, Liu, Yang
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2508.18914
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
by: Liu, Yuanhang, et al.
Published: (2025)

Pessimistic Verification for Open Ended Math Questions
by: Huang, Yanxing, et al.
Published: (2025)

Autoformalizer with Tool Feedback
by: Guo, Qi, et al.
Published: (2025)

Autoformalizing Euclidean Geometry
by: Murphy, Logan, et al.
Published: (2024)

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
by: Liu, Xiaoyang, et al.
Published: (2025)

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
by: Zhou, Jin Peng, et al.
Published: (2024)

Autoformalization in the Era of Large Language Models: A Survey
by: Weng, Ke, et al.
Published: (2025)

Improving Autoformalization Using Direct Dependency Retrieval
by: Wang, Shaoqi, et al.
Published: (2025)

A 3DGS-Diffusion Self-Supervised Framework for Normal Estimation from a Single Image
by: Liang, Yanxing, et al.
Published: (2025)

Towards a Common Framework for Autoformalization
by: Mensfelt, Agnieszka, et al.
Published: (2025)

Enhance Then Search: An Augmentation-Search Strategy with Foundation Models for Cross-Domain Few-Shot Object Detection
by: Pan, Jiancheng, et al.
Published: (2025)

SITA: A Framework for Structure-to-Instance Theorem Autoformalization
by: Li, Chenyi, et al.
Published: (2025)

A New Approach Towards Autoformalization
by: Patel, Nilay, et al.
Published: (2023)

FormalAlign: Automated Alignment Evaluation for Autoformalization
by: Lu, Jianqiao, et al.
Published: (2024)

A Conflict-Aware Penalty and Statistical Loss Framework for Balancing Modalities and Enhancing Stability in Multimodal Sentiment Analysis
by: Dai, Jianheng, et al.
Published: (2026)

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios
by: Mensfelt, Agnieszka, et al.
Published: (2024)

Faithful Autoformalization via Roundtrip Verification and Repair
by: Amrollahi, Daneshvar, et al.
Published: (2026)

MathAtlas: A Benchmark for Autoformalization in the Wild
by: Patel, Nilay, et al.
Published: (2026)

Reliable Evaluation and Benchmarks for Statement Autoformalization
by: Poiroux, Auguste, et al.
Published: (2024)

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
by: Liu, Xiaoyang, et al.
Published: (2026)

Can Large Language Models Autoformalize Kinematics?
by: Kabra, Aditi, et al.
Published: (2025)

SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
by: Su, Xiaole, et al.
Published: (2026)

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
by: Wu, Yutong, et al.
Published: (2025)

An Evaluation Benchmark for Autoformalization in Lean4
by: Gulati, Aryan, et al.
Published: (2024)

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
by: Liu, Yuntian, et al.
Published: (2025)

Munkres' General Topology Autoformalized in Isabelle/HOL
by: Bryant, Dustin, et al.
Published: (2026)

MerLean: An Agentic Framework for Autoformalization in Quantum Computation
by: Ren, Yuanjie, et al.
Published: (2026)

Not All Data are Good Labels: On the Self-supervised Labeling for Time Series Forecasting
by: Yang, Yuxuan, et al.
Published: (2025)

IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch
by: Biyani, Param, et al.
Published: (2025)

TRON: Targeted Rule-Verifiable Online Environments for Visual Reasoning RL
by: Yang, Tianze, et al.
Published: (2026)

Autoformalization of Game Descriptions using Large Language Models
by: Mensfelt, Agnieszka, et al.
Published: (2024)

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
by: Zhang, Jiyao, et al.
Published: (2025)

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
by: Motwani, Sumeet Ramesh, et al.
Published: (2026)

Data Quality Awareness: A Journey from Traditional Data Management to Data Science Systems
by: Dong, Sijie, et al.
Published: (2024)

Learning-Zone Energy: Online Data Selection for Efficient RL Post-Training
by: Cui, Peng, et al.
Published: (2026)

Reasoning Is All You Need for Urban Planning AI
by: Yang, Sijie, et al.
Published: (2025)

Urban Comfort Assessment in the Era of Digital Planning: A Multidimensional, Data-driven, and AI-assisted Framework
by: Yang, Sijie, et al.
Published: (2025)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
by: Cabral, Rafael, et al.
Published: (2025)

Webscale-RL: Automated Data Pipeline for Scaling RL Data to Pretraining Levels
by: Cen, Zhepeng, et al.
Published: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
by: Brown, Chad E., et al.
Published: (2026)