Image de couverture de livre

FMC: Formalization of Natural Language Mathematical Competition Problems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xie, Jiaxuan, Liu, Chengwu, Yuan, Ye, Li, Siqi, Xiao, Zhiping, Zhang, Ming
Format:	Preprint
Publié:	2025
Sujets:	Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
par: Liu, Chengwu, et autres
Publié: (2025)

A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning
par: Yuan, Ye, et autres
Publié: (2024)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
par: Liu, Chengwu, et autres
Publié: (2026)

Vision-Braille: A Curriculum Learning Toolkit and Braille-Chinese Corpus for Braille Translation
par: Wu, Alan, et autres
Publié: (2024)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
par: Kneisel, Tristan, et autres
Publié: (2026)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
par: Xiong, Jing, et autres
Publié: (2026)

RobustFT: Robust Supervised Fine-tuning for Large Language Models under Noisy Response
par: Luo, Junyu, et autres
Publié: (2024)

RASST: Fast Cross-modal Retrieval-Augmented Simultaneous Speech Translation
par: Luo, Jiaxuan, et autres
Publié: (2026)

Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
par: Xu, Xin, et autres
Publié: (2025)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
par: Li, Zelong, et autres
Publié: (2024)

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
par: Peng, Zhongyuan, et autres
Publié: (2025)

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
par: Tang, Xichen
Publié: (2024)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
par: Cao, Jialun, et autres
Publié: (2025)

MathLearner: A Large Language Model Agent Framework for Learning to Solve Mathematical Problems
par: Xie, Wenbei, et autres
Publié: (2024)

A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
par: Amonkar, Rikhil, et autres
Publié: (2025)

LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback
par: Gao, Bofei, et autres
Publié: (2024)

Semi-supervised Fine-tuning for Large Language Models
par: Luo, Junyu, et autres
Publié: (2024)

SciCustom: A Framework for Custom Evaluation of Scientific Capabilities in Large Language Models
par: Gu, Yiyang, et autres
Publié: (2026)

GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
par: Xia, Renqiu, et autres
Publié: (2024)

On Compositional Learning Behaviours in Formal Mathematics
par: Denamganaï, Kevin Yandoka
Publié: (2026)

Embedding-Based Context-Aware Reranker
par: Yuan, Ye, et autres
Publié: (2025)

FACTS: Table Summarization via Offline Template Generation with Agentic Workflows
par: Yuan, Ye, et autres
Publié: (2025)

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems
par: Peng, Yebo, et autres
Publié: (2025)

On the Limit of Language Models as Planning Formalizers
par: Huang, Cassie, et autres
Publié: (2024)

Exploring Mathematical Extrapolation of Large Language Models with Synthetic Data
par: Li, Haolong, et autres
Publié: (2024)

Formal Aspects of Language Modeling
par: Cotterell, Ryan, et autres
Publié: (2023)

AutoCode: LLMs as Problem Setters for Competitive Programming
par: Zhou, Shang, et autres
Publié: (2025)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
par: Wang, Ruida, et autres
Publié: (2025)

Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion
par: Xu, Ziyao, et autres
Publié: (2025)

REAL: Reading Out Transformer Activations for Precise Localization in Language Model Steering
par: Zhan, Li-Ming, et autres
Publié: (2025)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
par: Zhang, Lan, et autres
Publié: (2025)

Vision Language Models Cannot Plan, but Can They Formalize?
par: He, Muyu, et autres
Publié: (2025)

A Survey on Efficient Large Language Model Training: From Data-centric Perspectives
par: Luo, Junyu, et autres
Publié: (2025)

A Natural Formalized Proof Language
par: Xie, Lihan, et autres
Publié: (2024)

Competition-Level Problems are Effective LLM Evaluators
par: Huang, Yiming, et autres
Publié: (2023)

LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages
par: Huang, Xuhan, et autres
Publié: (2024)

ExLM: Rethinking the Impact of [MASK] Tokens in Masked Language Models
par: Zheng, Kangjie, et autres
Publié: (2025)

MARCO: Meta-Reflection with Cross-Referencing for Code Reasoning
par: Zhao, Yusheng, et autres
Publié: (2025)

Enhancing Language Agent Strategic Reasoning through Self-Play in Adversarial Games
par: Zhang, Yikai, et autres
Publié: (2025)

Natural Language Processing with Commonsense Knowledge: A Survey
par: Xie, Yubo, et autres
Publié: (2021)