Buchumschlag

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wu, Yutong, Huang, Di, Wan, Ruosi, Peng, Yue, Shang, Shijie, Cao, Chenrui, Qi, Lei, Zhang, Rui, Du, Zidong, Yan, Jie, Hu, Xing
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language Artificial Intelligence Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

StepFun-Prover Preview: Let's Think and Verify Step by Step
von: Shang, Shijie, et al.
Veröffentlicht: (2025)

QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
von: Wu, Yutong, et al.
Veröffentlicht: (2026)

FormalAlign: Automated Alignment Evaluation for Autoformalization
von: Lu, Jianqiao, et al.
Veröffentlicht: (2024)

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
von: Soroco, Mauricio, et al.
Veröffentlicht: (2025)

Beyond Reasoning: Reinforcement Learning Unlocks Parametric Knowledge in LLMs
von: Yang, Wanli, et al.
Veröffentlicht: (2026)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

BitDecoding: Unlocking Tensor Cores for Long-Context LLMs with Low-Bit KV Cache
von: Du, Dayou, et al.
Veröffentlicht: (2025)

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
von: Motwani, Sumeet Ramesh, et al.
Veröffentlicht: (2026)

Thinking to Recall: How Reasoning Unlocks Parametric Knowledge in LLMs
von: Gekhman, Zorik, et al.
Veröffentlicht: (2026)

MedReason: Eliciting Factual Medical Reasoning Steps in LLMs via Knowledge Graphs
von: Wu, Juncheng, et al.
Veröffentlicht: (2025)

Self-Instructed Derived Prompt Generation Meets In-Context Learning: Unlocking New Potential of Black-Box LLMs
von: Li, Zhuo, et al.
Veröffentlicht: (2024)

Soft Thinking: Unlocking the Reasoning Potential of LLMs in Continuous Concept Space
von: Zhang, Zhen, et al.
Veröffentlicht: (2025)

MMFormalizer: Multimodal Autoformalization in the Wild
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

BitDistiller: Unleashing the Potential of Sub-4-Bit LLMs via Self-Distillation
von: Du, Dayou, et al.
Veröffentlicht: (2024)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
von: Urban, Josef
Veröffentlicht: (2026)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
von: Chen, Luoxin, et al.
Veröffentlicht: (2026)

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
von: Zhou, Jin Peng, et al.
Veröffentlicht: (2024)

Process-Driven Autoformalization in Lean 4
von: Lu, Jianqiao, et al.
Veröffentlicht: (2024)

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
von: Sivakumar, Jasivan Alex, et al.
Veröffentlicht: (2025)

Moderate deviation principles for stochastic 2D hydrodynamics type systems with multiplicative Lévy noise
von: Li, Yue, et al.
Veröffentlicht: (2025)

SRFNet: Monocular Depth Estimation with Fine-grained Structure via Spatial Reliability-oriented Fusion of Frames and Events
von: Pan, Tianbo, et al.
Veröffentlicht: (2023)

Autoformalizing Euclidean Geometry
von: Murphy, Logan, et al.
Veröffentlicht: (2024)

Autoformalizer with Tool Feedback
von: Guo, Qi, et al.
Veröffentlicht: (2025)

FunPRM: Function-as-Step Process Reward Model with Meta Reward Correction for Code Generation
von: Zhang, Ruiyi, et al.
Veröffentlicht: (2026)

New Approach for Interior Regularity of Monge-Ampère Equations
von: Chen, Ruosi, et al.
Veröffentlicht: (2024)

An Artificial Intelligence‐Based Interactive Learning Environment for Music Education in China: Traditional Chinese Music and Its Contemporary Development as a Way to Increase Cultural Capital
von: Lu Yin, et al.
Veröffentlicht: (2024)

Tracking the Limits of Knowledge Propagation: How LLMs Fail at Multi-Step Reasoning with Conflicting Knowledge
von: Feng, Yiyang, et al.
Veröffentlicht: (2026)

Autoformalization in the Era of Large Language Models: A Survey
von: Weng, Ke, et al.
Veröffentlicht: (2025)

Contrastive Learning for Cold Start Recommendation with Adaptive Feature Fusion
von: Hu, Jiacheng, et al.
Veröffentlicht: (2025)

Unlocking Potential Binders: Multimodal Pretraining DEL-Fusion for Denoising DNA-Encoded Libraries
von: Gu, Chunbin, et al.
Veröffentlicht: (2024)

Autoformalizing Memory Specifications with Agents
von: Ernst, Jan Ole, et al.
Veröffentlicht: (2026)

Knowledge Fusion of Chat LLMs: A Preliminary Technical Report
von: Wan, Fanqi, et al.
Veröffentlicht: (2024)

IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch
von: Biyani, Param, et al.
Veröffentlicht: (2025)

Investigating the Shortcomings of LLMs in Step-by-Step Legal Reasoning
von: Mishra, Venkatesh, et al.
Veröffentlicht: (2025)

Neural refractive index field: Unlocking the Potential of Background-oriented Schlieren Tomography in Volumetric Flow Visualization
von: He, Yuanzhe, et al.
Veröffentlicht: (2024)

InverseCoder: Self-improving Instruction-Tuned Code LLMs with Inverse-Instruct
von: Wu, Yutong, et al.
Veröffentlicht: (2024)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
von: Yousefzadeh, Roozbeh, et al.
Veröffentlicht: (2025)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
von: Liu, Chengwu, et al.
Veröffentlicht: (2025)

BreakFun: Jailbreaking LLMs via Schema Exploitation
von: Oskooei, Amirkia Rafiei, et al.
Veröffentlicht: (2025)