Imagen de Portada

EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhai, Haotian, Lawless, Connor, Vitercik, Ellen, Leqi, Liu
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Machine Learning Optimization and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Understanding Fixed Predictions via Confined Regions
por: Lawless, Connor, et al.
Publicado: (2025)

Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning
por: Dickens, Charles, et al.
Publicado: (2024)

DualSchool: How Reliable are LLMs for Optimization Education?
por: Klamkin, Michael, et al.
Publicado: (2025)

Wait-Less Offline Tuning and Re-solving for Online Decision Making
por: Sun, Jingruo, et al.
Publicado: (2024)

Fair Clustering with Minimum Representation Constraints
por: Lawless, Connor, et al.
Publicado: (2024)

Optimizer-Model Consistency: Full Finetuning with the Same Optimizer as Pretraining Forgets Less
por: Liu, Yuxing, et al.
Publicado: (2026)

Budget-aware Auto Optimizer Configurator
por: Liu, Kang, et al.
Publicado: (2026)

Spatial Transformers for Radio Map Estimation
por: Viet, Pham Q., et al.
Publicado: (2024)

Stochastic Optimization of Inventory at Large-scale Supply Chains
por: Jin, Zhaoyang Larry, et al.
Publicado: (2025)

Constructing Industrial-Scale Optimization Modeling Benchmark
por: Li, Zhong, et al.
Publicado: (2026)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
por: Yang, Lujie, et al.
Publicado: (2024)

Optimizing the Optimizer for Physics-Informed Neural Networks and Kolmogorov-Arnold Networks
por: Kiyani, Elham, et al.
Publicado: (2025)

The Newton-Muon Optimizer
por: Du, Zhehang, et al.
Publicado: (2026)

Riemannian Bilevel Optimization
por: Dutta, Sanchayan, et al.
Publicado: (2024)

MetaOptimize: A Framework for Optimizing Step Sizes and Other Meta-parameters
por: Sharifnassab, Arsalan, et al.
Publicado: (2024)

From Large Language Models and Optimization to Decision Optimization CoPilot: A Research Manifesto
por: Wasserkrug, Segev, et al.
Publicado: (2024)

New Hybrid Fine-Tuning Paradigm for LLMs: Algorithm Design and Convergence Analysis Framework
por: Ma, Shaocong, et al.
Publicado: (2026)

Client-Centric Federated Adaptive Optimization
por: Sun, Jianhui, et al.
Publicado: (2025)

On the Condition Number Dependency in Bilevel Optimization
por: Chen, Lesi, et al.
Publicado: (2025)

Jacobian Descent for Multi-Objective Optimization
por: Quinton, Pierre, et al.
Publicado: (2024)

Optimization and Generalization Guarantees for Weight Normalization
por: Cisneros-Velarde, Pedro, et al.
Publicado: (2024)

Neural Solver Selection for Combinatorial Optimization
por: Gao, Chengrui, et al.
Publicado: (2024)

Dynamic Memory Based Adaptive Optimization
por: Szegedy, Balázs, et al.
Publicado: (2024)

Zeroth-Order Optimization Finds Flat Minima
por: Zhang, Liang, et al.
Publicado: (2025)

Tree-Preconditioned Differentiable Optimization and Axioms as Layers
por: Liao, Yuexin
Publicado: (2025)

Search-Optimized Quantization in Biomedical Ontology Alignment
por: Bouaggad, Oussama, et al.
Publicado: (2025)

A Minimalist Bayesian Framework for Stochastic Optimization
por: Wang, Kaizheng
Publicado: (2025)

Understanding Optimization in Deep Learning with Central Flows
por: Cohen, Jeremy M., et al.
Publicado: (2024)

Hierarchical Mixture-of-Experts with Two-Stage Optimization
por: Molodtsov, Gleb, et al.
Publicado: (2026)

Bayesian Optimization for Hyperparameters Tuning in Neural Networks
por: Onorato, Gabriele
Publicado: (2024)

Intersectional Fairness via Mixed-Integer Optimization
por: Němeček, Jiří, et al.
Publicado: (2026)

Anytime Training with Schedule-Free Spectral Optimization
por: Apte, Anuj, et al.
Publicado: (2026)

Lion Secretly Solves Constrained Optimization: As Lyapunov Predicts
por: Chen, Lizhang, et al.
Publicado: (2023)

On Some Tunable Multi-fidelity Bayesian Optimization Frameworks
por: Manoj, Arjun, et al.
Publicado: (2025)

How Memory in Optimization Algorithms Implicitly Modifies the Loss
por: Cattaneo, Matias D., et al.
Publicado: (2025)

A Novel Unified Parametric Assumption for Nonconvex Optimization
por: Riabinin, Artem, et al.
Publicado: (2025)

Learning Branching Policies for MILPs with Proximal Policy Optimization
por: Mhamed, Abdelouahed Ben, et al.
Publicado: (2025)

LLM Serving Optimization with Variable Prefill and Decode Lengths
por: Wang, Meixuan, et al.
Publicado: (2025)

Predictive and Prescriptive AI toward Optimizing Wildfire Suppression
por: Boussioux, Leonard, et al.
Publicado: (2026)

Neur2BiLO: Neural Bilevel Optimization
por: Dumouchelle, Justin, et al.
Publicado: (2024)