:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lera-Leri, Roger Xavier, Bistaffa, Filippo, Georgara, Athina, Rodriguez-Aguilar, Juan Antonio
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2507.13007
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Metaheuristics and Large Language Models Join Forces: Toward an Integrated Optimization Approach
by: Sartori, Camilo Chacón, et al.
Published: (2024)

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming
by: Li, Hongpei, et al.
Published: (2025)

VisGraphVar: A Benchmark Generator for Assessing Variability in Graph Analysis Using Large Vision-Language Models
by: Sartori, Camilo Chacón, et al.
Published: (2024)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
by: Nieuwenhuis, Robert, et al.
Published: (2024)

Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming
by: Ling, Haotian, et al.
Published: (2024)

Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
by: Li, Siyuan, et al.
Published: (2025)

Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning
by: Cai, Junyang, et al.
Published: (2024)

Multi-task Representation Learning for Mixed Integer Linear Programming
by: Cai, Junyang, et al.
Published: (2024)

Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
by: Kitaoka, Akira
Published: (2025)

ID-PaS+ : Identity-Aware Predict-and-Search for General Mixed-Integer Linear Programs
by: Cai, Junyang, et al.
Published: (2025)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
by: Thayaparan, Mokanarangan, et al.
Published: (2024)

Fast and Interpretable Mixed-Integer Linear Program Solving by Learning Model Reduction
by: Li, Yixuan, et al.
Published: (2024)

Integer Linear Programming Preprocessing for Maximum Satisfiability
by: Zhang, Jialu, et al.
Published: (2025)

Improvement of Optimization using Learning Based Models in Mixed Integer Linear Programming Tasks
by: Wang, Xiaoke, et al.
Published: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning
by: Huang, Taoan, et al.
Published: (2023)

Large Language Model Watermark Stealing With Mixed Integer Programming
by: Zhang, Zhaoxi, et al.
Published: (2024)

Taming Binarized Neural Networks and Mixed-Integer Programs
by: Aspman, Johannes, et al.
Published: (2023)

Beyond Local Selection: Global Cut Selection for Enhanced Mixed-Integer Programming
by: Zeng, Shuli, et al.
Published: (2025)

An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques
by: Zhang, Mingwei, et al.
Published: (2025)

Learning Model Agnostic Explanations via Constraint Programming
by: Koriche, Frederic, et al.
Published: (2024)

A General Approach for Computing a Consensus in Group Decision Making That Integrates Multiple Ethical Principles
by: Salas-Molina, Francisco, et al.
Published: (2024)

A General Neural Backbone for Mixed-Integer Linear Optimization via Dual Attention
by: Huang, Peixin, et al.
Published: (2026)

Feed-Forward Neural Networks as a Mixed-Integer Program
by: Aftabi, Navid, et al.
Published: (2024)

Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming
by: Wang, Jie, et al.
Published: (2024)

RL-SPH: Learning to Achieve Feasible Solutions for Integer Linear Programs
by: Lee, Tae-Hoon, et al.
Published: (2024)

PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs
by: Turner, Mark, et al.
Published: (2023)

MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs
by: Lorenz, Tobias, et al.
Published: (2024)

Toward TransfORmers: Revolutionizing the Solution of Mixed Integer Programs with Transformers
by: Cooper, Joshua F., et al.
Published: (2024)

Local Search for Integer Quadratic Programming
by: He, Xiang, et al.
Published: (2024)

Why Self-Inconsistency Arises in GNN Explanations and How to Exploit It
by: Tai, Wenxin, et al.
Published: (2026)

Beyond Known Reality: Exploiting Counterfactual Explanations for Medical Research
by: Tanyel, Toygar, et al.
Published: (2023)

Generating Counterfactual Explanations Under Temporal Constraints
by: Buliga, Andrei, et al.
Published: (2025)

Learning to Solve the Constrained Most Probable Explanation Task in Probabilistic Graphical Models
by: Arya, Shivvrat, et al.
Published: (2024)

Mixed Integer Goal Programming for Personalized Meal Optimization with User-Defined Serving Granularity
by: Moreno, Francisco Aguilera
Published: (2026)

Probabilistic Explanations for Linear Models
by: Subercaseaux, Bernardo, et al.
Published: (2024)

Correlated Mutations for Integer Programming
by: Shir, Ofer M., et al.
Published: (2025)

Causal Discovery by Interventions via Integer Programming
by: Elrefaey, Abdelmonem, et al.
Published: (2024)

Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problem
by: Cai, Junyang, et al.
Published: (2024)

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