Demo Data from SIGIR 2026 / reviewers in the wild / expert
Daniel Ovalle
dblp:396/9748
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Mathematical optimization · 56% Automated reasoning and model checking · 44% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › constraint solving
constraint learning |
0.9 | 1 | 2025 | Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees · NeurIPS 2025 |
Mathematical optimization
optimization under uncertainty |
0.9 | 1 | 2025 | Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees · NeurIPS 2025 |
Mathematical optimization
data-driven optimization |
0.3 | 1 | 2025 | Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees · NeurIPS 2025 |
Methods — techniques the papers use, named apart from their topics
conformal prediction · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Conformal Mixed-Integer Constraint Learning with Feasibility GuaranteesabstractWe propose Conformal Mixed-Integer Constraint Learning (C-MICL), a novel framework that provides probabilistic feasibility guarantees for data-driven constraints in optimization problems. While standard Mixed-Integer Constraint Learning methods often violate the true constraints due to model error or data limitations, our C-MICL approach leverages conformal prediction to ensure feasible solutions are ground-truth feasible with probability at least $1{-}\alpha$, under a conditional independence assumption. The proposed framework supports both regression and classification tasks without requiring access to the true constraint function, while avoiding the scalability issues associated with ensemble-based heuristics. Experiments on real-world applications demonstrate that C-MICL consistently achieves target feasibility rates, maintains competitive objective performance, and significantly reduces computational cost compared to existing methods. Our work bridges mathematical optimization and machine learning, offering a principled approach to incorporate uncertainty-aware constraints into decision-making with rigorous statistical guarantees. Daniel Ovalle, Lorenz T. Biegler, Ignacio E. Grossmann, Carl D. Laird, Mateo Dulce-Rubio |
NeurIPS | 1 |