:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wang, Shaoqi, Yu, Lu, Lou, Siwei, Yan, Feng, Yang, Chunjie, Cui, Qing, Zhou, Jun
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2511.11990
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Approximated Orthogonal Projection Unit: Stabilizing Regression Network Training Using Natural Gradient
by: Wang, Shaoqi, et al.
Published: (2024)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
by: Cabral, Rafael, 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)

FormaRL: Enhancing Autoformalization with no Labeled Data
by: Huang, Yanxing, et al.
Published: (2025)

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

Towards a Common Framework for Autoformalization
by: Mensfelt, Agnieszka, 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)

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

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)

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

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

Direct Value Optimization: Improving Chain-of-Thought Reasoning in LLMs with Refined Values
by: Zhang, Hongbo, et al.
Published: (2025)

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

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

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

What Really Improves Mathematical Reasoning: Structured Reasoning Signals Beyond Pure Code
by: Zhao, Yuze, et al.
Published: (2026)

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

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

Large Language Models are Few-shot Generators: Proposing Hybrid Prompt Algorithm To Generate Webshell Escape Samples
by: Ma, Mingrui, et al.
Published: (2024)

Research and application of Transformer based anomaly detection model: A literature review
by: Ma, Mingrui, et al.
Published: (2024)

Research and application of artificial intelligence based webshell detection model: A literature review
by: Ma, Mingrui, et al.
Published: (2024)

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

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

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

MasHost Builds It All: Autonomous Multi-Agent System Directed by Reinforcement Learning
by: Yang, Kuo, et al.
Published: (2025)

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

CXRAgent: Director-Orchestrated Multi-Stage Reasoning for Chest X-Ray Interpretation
by: Lou, Jinhui, et al.
Published: (2025)

Field Matters: A Lightweight LLM-enhanced Method for CTR Prediction
by: Cui, Yu, et al.
Published: (2025)

Improving Retrieval Augmented Language Model with Self-Reasoning
by: Xia, Yuan, et al.
Published: (2024)

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

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
by: Wang, Hanyu, et al.
Published: (2025)

Improving Multi-Step Reasoning Abilities of Large Language Models with Direct Advantage Policy Optimization
by: Liu, Jiacai, et al.
Published: (2024)

MASS: Mathematical Data Selection via Skill Graphs for Pretraining Large Language Models
by: Li, Jiazheng, et al.
Published: (2025)

The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View
by: Yao, Xinhao, et al.
Published: (2025)

D2SP: Dynamic Dual-Stage Purification Framework for Dual Noise Mitigation in Vision-based Affective Recognition
by: Wang, Haoran, et al.
Published: (2024)

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