Cover Image

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Guoxin, Wu, Jing, Chen, Xinjie, Zhao, Wayne Xin, Song, Ruihua, Li, Chengxi, Fan, Kai, Liu, Dayiheng, Liao, Minpeng
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Step-level Value Preference Optimization for Mathematical Reasoning
by: Chen, Guoxin, et al.
Published: (2024)

AlphaMath Almost Zero: Process Supervision without Process
by: Chen, Guoxin, et al.
Published: (2024)

From Data-Centric to Sample-Centric: Enhancing LLM Reasoning via Progressive Optimization
by: Chen, Xinjie, et al.
Published: (2025)

JURY-RL: Votes Propose, Proofs Dispose for Label-Free RLVR
by: Chen, Xinjie, et al.
Published: (2026)

MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipeline
by: Liao, Minpeng, et al.
Published: (2024)

C-3PO: Compact Plug-and-Play Proxy Optimization to Achieve Human-like Retrieval-Augmented Generation
by: Chen, Guoxin, et al.
Published: (2025)

MARS: Co-evolving Dual-System Deep Research via Multi-Agent Reinforcement Learning
by: Chen, Guoxin, et al.
Published: (2025)

ReFormer: Generating Radio Fakes for Data Augmentation
by: Kaasaragadda, Yagna, et al.
Published: (2024)

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
by: Yan, Chuanhao, et al.
Published: (2025)

LLMs Can Achieve High-quality Simultaneous Machine Translation as Efficiently as Offline
by: Fu, Biao, et al.
Published: (2025)

Efficient and Adaptive Simultaneous Speech Translation with Fully Unidirectional Architecture
by: Fu, Biao, et al.
Published: (2025)

Markov Chain of Thought for Efficient Mathematical Reasoning
by: Yang, Wen, et al.
Published: (2024)

Toward Autonomous Long-Horizon Engineering for ML Research
by: Chen, Guoxin, et al.
Published: (2026)

IterResearch: Rethinking Long-Horizon Agents with Interaction Scaling
by: Chen, Guoxin, et al.
Published: (2025)

MMFormalizer: Multimodal Autoformalization in the Wild
by: Xiong, Jing, et al.
Published: (2026)

Reinforced Informativeness Optimization for Long-Form Retrieval-Augmented Generation
by: Wang, Yuhao, et al.
Published: (2025)

PAT-Agent: Autoformalization for Model Checking
by: Zuo, Xinyue, et al.
Published: (2025)

Immersion in the GitHub Universe: Scaling Coding Agents to Mastery
by: Zhao, Jiale, et al.
Published: (2026)

BLSP-KD: Bootstrapping Language-Speech Pre-training via Knowledge Distillation
by: Wang, Chen, et al.
Published: (2024)

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
by: Soroco, Mauricio, et al.
Published: (2025)

Re: Association Between Stress Hyperglycemia Ratio and Parkinson's Disease Across Different Glucose Metabolism Statuses—A Prospective Study From UK Biobank
by: Wenwen Xu, et al.
Published: (2025)

Consistent Autoformalization for Constructing Mathematical Libraries
by: Zhang, Lan, et al.
Published: (2024)

Process-Driven Autoformalization in Lean 4
by: Lu, Jianqiao, et al.
Published: (2024)

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
by: Li, Zenan, et al.
Published: (2024)

Note on explicit construction of conformal generators on the fuzzy sphere
by: Fan, Ruihua
Published: (2024)

BLSP-Emo: Towards Empathetic Large Speech-Language Models
by: Wang, Chen, et al.
Published: (2024)

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

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

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

BeyondSWE: Can Current Code Agent Survive Beyond Single-Repo Bug Fixing?
by: Chen, Guoxin, et al.
Published: (2026)

MARIO Eval: Evaluate Your Math LLM with your Math LLM--A mathematical dataset evaluation toolkit
by: Zhang, Boning, et al.
Published: (2024)

Initial Model Incorporation for Deep Learning FWI: Pretraining or Denormalization?
by: Chen, Ruihua, et al.
Published: (2025)

Accurate background velocity model building method based on iterative deep learning in sparse transform domain
by: Chen, Guoxin
Published: (2024)

A Review of Modeling and Waveform Inversion for Marine Seismic Data
by: Chen, Guoxin
Published: (2026)

Toward a Dynamically Reconfigurable Pixelated Reflective Display: Focused Ion Beam for Phase‐Change Metapixel Structures
by: Daniel T. Yimam, et al.
Published: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

Autoformalizing Memory Specifications with Agents
by: Ernst, Jan Ole, et al.
Published: (2026)

Re-ReST: Reflection-Reinforced Self-Training for Language Agents
by: Dou, Zi-Yi, et al.
Published: (2024)

ReAgent: Reversible Multi-Agent Reasoning for Knowledge-Enhanced Multi-Hop QA
by: Zhao, Xinjie, et al.
Published: (2025)

Optimizing Feature Extraction for On-device Model Inference with User Behavior Sequences
by: Gong, Chen, et al.
Published: (2026)