Cover Image

Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Haoyang, Wang, Jie, Niu, Boxuan, Han, Xiongwei, Xu, Yian, Ye, Mingxuan, Geng, Zijie, Zhu, Fangzhou, Zhong, Tao, Yuan, Mingxuan, Hao, Jianye
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
by: Zhang, Yansen, et al.
Published: (2025)

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications
by: Li, Xijun, et al.
Published: (2024)

REG: A Regularization Optimizer for Robust Training Dynamics
by: Liu, Zehua, et al.
Published: (2025)

OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
by: Liu, Haoyang, et al.
Published: (2025)

Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming
by: Liu, Haoyang, et al.
Published: (2025)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

PreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling
by: Zhong, Ruizhe, et al.
Published: (2024)

One Step Beyond: Feedthrough & Placement-Aware Rectilinear Floorplanner
by: Xu, Zhexuan, et al.
Published: (2025)

Grassland: A Rapid Algebraic Modeling System for Million-variable Optimization
by: Li, Xihan, et al.
Published: (2021)

LoRE-Merging: Exploring Low-Rank Estimation For Large Language Model Merging
by: Liu, Zehua, et al.
Published: (2025)

MoLAE: Mixture of Latent Experts for Parameter-Efficient Language Models
by: Liu, Zehua, et al.
Published: (2025)

RIFT: Repurposing Negative Samples via Reward-Informed Fine-Tuning
by: Liu, Zehua, et al.
Published: (2026)

A new result on the divisor problem in arithmetic progressions modulo a prime power
by: Zhong, Mingxuan, et al.
Published: (2025)

Sign changes of Kloosterman sums with moduli having at most six prime factors
by: Zhang, Tianping, et al.
Published: (2024)

Sens-Merging: Sensitivity-Guided Parameter Balancing for Merging Large Language Models
by: Liu, Shuqi, et al.
Published: (2025)

Temporal Regularization Training: Unleashing the Potential of Spiking Neural Networks
by: Zhang, Boxuan, et al.
Published: (2025)

Piano: A Multi-Constraint Pin Assignment-Aware Floorplanner
by: Xu, Zhexuan, et al.
Published: (2025)

Accelerating Large Language Model Reasoning via Speculative Search
by: Wang, Zhihai, et al.
Published: (2025)

KAP-CPD: Kernel Aggregation for Change-Point Detection in Dynamic Networks
by: Sun, Mingxuan, et al.
Published: (2026)

E3SM maint-2.0 branch with MOSAIC aerosol chemistry module
by: Wu, Mingxuan
Published: (2025)

seeBias: A Comprehensive Tool for Assessing and Visualizing AI Fairness
by: Ning, Yilin, et al.
Published: (2025)

ARS: Automatic Routing Solver with Large Language Models
by: Li, Kai, et al.
Published: (2025)

A Survey of Optimization Modeling Meets LLMs: Progress and Future Directions
by: Xiao, Ziyang, et al.
Published: (2025)

Dual‐Sided Field Effect Passivation for Efficient and Stable Quasi‐2D Ruddlesden‐Popper Perovskite Photodetector
by: Mingxuan Qiu, et al.
Published: (2024)

Why Attention Patterns Exist: A Unifying Temporal Perspective Analysis
by: Yang, Qingyue, et al.
Published: (2026)

Enhancing Time Series Forecasting via Multi-Level Text Alignment with LLMs
by: Zhao, Taibiao, et al.
Published: (2025)

Unlocking Efficient Long-to-Short LLM Reasoning with Model Merging
by: Wu, Han, et al.
Published: (2025)

DualGFL: Federated Learning with a Dual-Level Coalition-Auction Game
by: Chen, Xiaobing, et al.
Published: (2024)

Benchmarking End-To-End Performance of AI-Based Chip Placement Algorithms
by: Wang, Zhihai, et al.
Published: (2024)

Lipid Nanoparticle (LNP) ‐A Vector Suitable for Evolving Therapies for Advanced Hepatocellular Carcinoma (HCC)
by: Mingxuan Zhang, et al.
Published: (2024)

Unleashing LLMs in Bayesian Optimization: Preference-Guided Framework for Scientific Discovery
by: Yuan, Xinzhe, et al.
Published: (2026)

1bit-Merging: Dynamic Quantized Merging for Large Language Models
by: Liu, Shuqi, et al.
Published: (2025)

EoH-S: Evolution of Heuristic Set using LLMs for Automated Heuristic Design
by: Liu, Fei, et al.
Published: (2025)

HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking
by: Gui, Runquan, et al.
Published: (2025)

LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation
by: Zhong, Ruizhe, et al.
Published: (2023)

Adaptive Neural Control with Desired Approximation: An Integral Lyapunov Function Approach
by: Sun, Mingxuan, et al.
Published: (2025)

Scoring Information Integration with Statistical Quality Control Enhanced Cross-Run Analysis of Data-Independent Acquisition Proteomics Data (BioRxiv version, Deprecated)
by: Gao, Mingxuan, et al.
Published: (2024)

TokenChain: A Discrete Speech Chain via Semantic Token Modeling
by: Wang, Mingxuan, et al.
Published: (2025)

Positive determinacy of h-Shuhan matrices with $h<2$
by: Wu, Weicai, et al.
Published: (2025)

Improved Fuzzy C‐Means Clustering With Cluster Center Constraints
by: Li Mingxuan, et al.
Published: (2026)