Imagen de Portada

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Motwani, Sumeet Ramesh, Du, Chuan, Petrov, Aleksander, Davis, Christopher, Torr, Philip, Papania-Davis, Antonio, Yan, Weishi
Formato:	Preprint
Publicado:	2026
Materias:	Machine Learning Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
por: Motwani, Sumeet Ramesh, et al.
Publicado: (2025)

Secret Collusion among AI Agents: Multi-Agent Deception via Steganography
por: Motwani, Sumeet Ramesh, et al.
Publicado: (2024)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
por: Gupte, Mihir, et al.
Publicado: (2025)

MALT: Improving Reasoning with Multi-Agent LLM Training
por: Motwani, Sumeet Ramesh, et al.
Publicado: (2024)

STARC: A General Framework For Quantifying Differences Between Reward Functions
por: Skalse, Joar, et al.
Publicado: (2023)

Prompting a Pretrained Transformer Can Be a Universal Approximator
por: Petrov, Aleksandar, et al.
Publicado: (2024)

When Do Prompting and Prefix-Tuning Work? A Theory of Capabilities and Limitations
por: Petrov, Aleksandar, et al.
Publicado: (2023)

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

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

Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software
por: Davis, Matthew, et al.
Publicado: (2025)

Unelicitable Backdoors in Language Models via Cryptographic Transformer Circuits
por: Draguns, Andis, et al.
Publicado: (2024)

HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification
por: Wang, Erik Y., et al.
Publicado: (2026)

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

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
por: Zhang, Lan, et al.
Publicado: (2025)

VFusion3D: Learning Scalable 3D Generative Models from Video Diffusion Models
por: Han, Junlin, et al.
Publicado: (2024)

GAS: Generative Auto-bidding with Post-training Search
por: Li, Yewen, et al.
Publicado: (2024)

Autoformalizing Euclidean Geometry
por: Murphy, Logan, et al.
Publicado: (2024)

Autoformalizer with Tool Feedback
por: Guo, Qi, et al.
Publicado: (2025)

Partial Ordering Bayesian Logistic Regression Model for Phase I Combination Trials and Computationally Efficient Approach to Operational Prior Specification
por: Chen, Weishi, et al.
Publicado: (2024)

Rural vocational training in the USSR
por: A. Petrov
Publicado: (1974)

Welcome to the World-Wide Web.
por: Davis, Philip
Publicado: (1995)

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

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

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

On the Coexistence and Ensembling of Watermarks
por: Petrov, Aleksandar, et al.
Publicado: (2025)

On Predicting the Post-training Potential of Pre-trained LLMs
por: Li, Xiaoyuan, et al.
Publicado: (2026)

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

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

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

BRIDGE: Deterministic Replay for Hybrid AI-Assisted Operational Procedures via VFS Harmonization
por: Davis, Bee
Publicado: (2025)

Environmental Information: Some Problems and Solutions.
por: Davis, Mari, Ed.
Publicado: (1974)

DEEDEE: Fast and Scalable Out-of-Distribution Dynamics Detection
por: Aljaafari, Tala, et al.
Publicado: (2025)

SAGE: Scalable Ground Truth Evaluations for Large Sparse Autoencoders
por: Venhoff, Constantin, et al.
Publicado: (2024)

Do as I do (Safely): Mitigating Task-Specific Fine-tuning Risks in Large Language Models
por: Eiras, Francisco, et al.
Publicado: (2024)

Universal In-Context Approximation By Prompting Fully Recurrent Models
por: Petrov, Aleksandar, et al.
Publicado: (2024)

A Case Study on Implementing Lean Manufacturing
por: Jaideep G. Motwani
Publicado: (1999)

Monotonic Reference-Free Refinement for Autoformalization
por: Zhang, Lan, et al.
Publicado: (2026)

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

A New Approach Towards Autoformalization
por: Patel, Nilay, et al.
Publicado: (2023)

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