AI in Society, Science and Technology

The Department for AI in Society, Science, and Technology (AIS²T) focuses on researching and designing AI methods across various application domains. It collaborates closely with the Mathematical Optimization Group at TU Berlin. Together, this working group is known as Interactive Optimization and Learning (IOL) and has its own webspace at https://iol.zib.de/ to offer a comprehensive overview.

Publications

2027

A Tight Approximability Analysis of Boosting Theoretical Foundations of Deep Learning, Springer Science+Business Media, 2027 (accepted for publication) Ingo Meise, Marc Pfetsch, Sebastian Pokutta BibTeX

Algorithm configuration problem Encyclopedia of Optimization, pp. 1-8, Springer Science+Business Media, 2027 Gabriele Iommazzo, Claudia D'Ambrosio, Antonio Frangioni, Leo Liberti BibTeX
DOI
arXiv

Alternating linear minimization: Inspired by von Neumann's alternating projections Discrete Applied Mathematics, Vol.397, pp. 438-451, 2027 Gábor Braun, Sebastian Pokutta, Robert Weismantel BibTeX
DOI
arXiv

An Unsure Note on an Un-Schur Problem Combinatorial and Additive Number Theory VII: CANT, New York, USA, 2024 and 2025, Vol.557, Springer Proceedings in Mathematics & Statistics, 2027 (accepted for publication) Olaf Parczyk, Christoph Spiegel BibTeX
arXiv

Branch and Price for Job-Shop Scheduling with Time-Dependent Costs and Cardinality Resource Constraints Combinatorial Optimization, pp. 81-94, Vol.16613, Lecture Notes in Computer Science, 2027 Marouane Felloussi, Mohammed Ghannam, João Dionísio, Paolo Gianessi, Xavier Delorme BibTeX
DOI

Fast Isotopy Computation for T-Curves Mathematical Software – ICMS 2026, Vol.16677, Lecture Notes in Computer Science, 2027 (accepted for publication) Zoe Geiselmann, Michael Joswig, Lars Kastner, Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Marcel Wack, Max Zimmer BibTeX
arXiv

Global Optimization for Combinatorial Geometry Problems Revisited in the Era of LLMs Combinatorial Optimization, pp. 121-135, Vol.16613, Lecture Notes in Computer Science, 2027 Timo Berthold, Dominik Kamp, Gioni Mexi, Sebastian Pokutta, Imre Pólik BibTeX
DOI
arXiv

Theoretical Foundations of Deep Learning Christopher Bülte, Martin Burger, Matthias Hein, Gitta Kutyniok, Sebastian Pokutta, Ingo Steinwart (Eds.), Springer Science+Business Media, 2027 (in press) BibTeX
DOI

2026

(Approximate) Symmetric Extension Complexity of the Spanning Tree Polytope 2026 Sebastian Pokutta BibTeX
arXiv

A Counterexample to Ziegler's Cross-Polytope Conjecture for Simplicial 0/1-Polytopes 2026 Volker Kaibel, Sebastian Pokutta BibTeX
arXiv

A Frank-Wolfe-based primal heuristic for quadratic mixed-integer optimization Mathematical Programming Computation, 2026 Gioni Mexi, Deborah Hendrych, Sébastien Designolle, Mathieu Besançon, Sebastian Pokutta BibTeX
DOI
arXiv

A Free Lunch in LLM Compression: Revisiting Retraining after Pruning Advances in Neural Information Processing Systems, Vol.39, 2026 (accepted for publication) Moritz Wagner, Christophe Roux, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

A Numerically-safe Branch-Price-and-Cut Algorithm for the Length-Constrained Cycle Partition Problem 2026 Mohammed Ghannam, Ambros Gleixner, Gioni Mexi, Edward Lam BibTeX
arXiv

A Trust Region Approach for Learning Schrödinger Bridges Advances in Neural Information Processing Systems, Vol.39, 2026 (accepted for publication) Takeshi Koshizuka, Denis Blessing, Max Zimmer, Sebastian Pokutta, Lorenz Richter BibTeX
arXiv

A Unified Toolbox for Multipartite Entanglement Certification Physical Review A, 114(5), p. L050401, 2026 Ye-Chao Liu, Jannis Halbey, Sebastian Pokutta, Sébastien Designolle BibTeX
DOI
arXiv

Abs-Smooth Frank-Wolfe Method: Primal-Dual Analysis, Heavy Ball Momentum, and Inexact Oracles 2026 Sri Harshitha Tadinada, Sebastian Pokutta, Andrea Walther BibTeX
arXiv

Adaptive Open-Loop Step-Sizes for Accelerated Convergence Rates of the Frank-Wolfe Algorithm Computational Optimization and Applications, 2026 Elias Wirth, Javier Peña, Sebastian Pokutta BibTeX
DOI
arXiv

Agentic MIP Research: Accelerated Constraint Handler Generation 2026 Liding Xu, Yugeng Zhou, Sebastian Pokutta BibTeX
arXiv

AlphaDiana: A Measurement System for Agents in Verifiable Reasoning Tasks 2026 Zhanke Zhou, Zongze Li, Weikai Huang, Xuan Li, Chentao Cao, Xiao Feng, Xiangyu Lu, Jinbo Hu, Yi Xie, Nico Pelleriti, Shiyang Liu, Menghan Lu, Max Zimmer, Brando Miranda, Jiangchao Yao, Bo Liu, Sanmi Koyejo, Sebastian Pokutta, Bo Han BibTeX
arXiv

An AD-enabled Frank-Wolfe Method for Non-smooth Optimization Proceedings of the 2024 International Conference on Algorithmic Differentiation (AD), pp. 90-106, 2026 Sri Tadinada, Tim Siebert, Jürgen Fuhrmann, Sebastian Pokutta, Andrea Walther BibTeX
DOI

An Unsure Note on an Un-Schur Problem Electronic Journal of Combinatorics, 33(1), p. P1.45, 2026 Olaf Parczyk, Christoph Spiegel BibTeX
DOI
arXiv

Better bounds on finite-order Grothendieck constants with applications to Bell nonlocality Physical Review A, 113(2), p. 022401, 2026 Sébastien Designolle, Tamás Vértesi, Sebastian Pokutta BibTeX
DOI
arXiv

Beyond Static Instruction: A Multi-agent AI Framework for Adaptive Augmented Reality Robot Training Companion Proceedings of the 21st ACM/IEEE International Conference on Human-Robot Interaction, pp. 989-993, 2026 Nicolas Leins, Jana Gonnermann-Müller, Malte Teichmann, Sebastian Pokutta BibTeX
DOI
arXiv

Beyond Static Responses: Multi-Agent LLM Systems as a New Paradigm for Social Science Research Humanities and Social Sciences Communications, Vol.13, p. 1490, 2026 Jennifer Haase, Sebastian Pokutta BibTeX
DOI
arXiv

Bounded-Support Additive Latin Transversals 2026 Antoine Deza, Yan Gerard, Yijun Ma, Sebastian Pokutta BibTeX
arXiv

Building Socially Grounded Multi-Agent LLM Systems Requires the Transition from Static LLM Prompting to Autonomous Multi-Agent Ecosystems 2026 Jennifer Haase, Jana Gonnermann-Müller, Sebastian Pokutta BibTeX
DOI

CHAP: A Hybrid GPU-CPU Heuristic for MIP 2026 Gennesaret Tjusila, Alexander Hoen, Nils-Christian Kempke, Gioni Mexi, Timo Berthold, Ambros Gleixner, Thorsten Koch, Sebastian Pokutta BibTeX
arXiv

Classification of Boolean Cubic Forms in Ten Variables 2026 Kirill Khoruzhii, Patrick Gelß, Sebastian Pokutta BibTeX
arXiv

CryptHarness: A Harness for Agent-Assisted Cryptanalytic Research 2026 Nico Pelleriti, Nicolai Kraus, Alexander May, Sebastian Pokutta BibTeX

Curvature-Dependent Lower Bounds for Frank-Wolfe Advances in Neural Information Processing Systems, Vol.39, 2026 (accepted for publication) Jannis Halbey, Christophe Roux, Sebastian Pokutta BibTeX
arXiv

Data science and optimization Sanjeena Dang, Antoine Deza, Swati Gupta, Paul D. McNicholas, Sebastian Pokutta, Masashi Sugiyama (Eds.), Springer Science+Business Media, 2026 BibTeX
DOI

Dirac's Theorem for Graphs of Bounded Bandwidth Electronic Journal of Combinatorics, 33(1), p. P1.21, 2026 Alberto Espuny Díaz, Pranshu Gupta, Domenico Mergoni Cecchelli, Olaf Parczyk, Amedeo Sgueglia BibTeX
DOI
arXiv

Discrete eigenvalue optimization from entropic smoothing and first-order methods 2026 Deborah Hendrych, Mathieu Besançon, Sebastian Pokutta BibTeX
arXiv

ECHOSAT: Estimating Canopy Height Over Space And Time 2026 Jan Pauls, Karsten Schrödter, Sven Ligensa, Martin Schwartz, Berkant Turan, Max Zimmer, Sassan Saatchi, Sebastian Pokutta, Philippe Ciais, Fabian Gieseke BibTeX
arXiv

Every Eval Ever: A Unifying Schema and Community Repository for AI Evaluation Results 2026 Jan Batzner, Harsha Nelaturu, Damian Stachura, Anastassia Kornilova, Jon Crall, Tommaso Cerruti, Yanan Long, Yifan Mai, Sanchit Ahuja, Asaf Yehudai, Marek Šuppa, John P. Lalor, Oluwagbemike Olowe, Jatin Ganhotra, Brian H. Hu, Eliya Habba, Andrew M. Bean, Chang Liu, Sander Land, Steven Dillmann, Aniketh Garikaparthi, Elron Bandel, Saki Imai, James Edgell, Wm. Matthew Kennedy, Jenny Chim, Patrick Meusling, Asteria Kaeberlein, Venkata Ramachandra Karthik Chundi, Manasi Patwardhan, Martin Ku, Austin Meek, Leon Knauer, Brian Wingenroth, Srishti Yadav, Usman Gohar, Felix Friedrich, Michelle Lin, Jennifer Mickel, Arman Cohan, Stella Biderman, Irene Solaiman, Zeerak Talat, Anka Reuel, Mubashara Akhtar, Gjergji Kasneci, Avijit Ghosh, Leshem Choshen BibTeX
arXiv

Explicit Fractalizers: Prime-Order Paley Graphs and other Cayley Graphs 2026 Aldo Kiem, Fan Wei BibTeX
arXiv

Exploring Bell Nonlocality with Extremal Non-Signaling Boxes 2026 Emmanuel Zambrini Cruzeiro, Junior R. Gonzales-Ureta, Raman Choudhary, Hugo Abreu, Adán Cabello, Sébastien Designolle BibTeX
arXiv

FACET: Multi-Agent AI Supporting Teachers in Scaling Differentiated Learning for Diverse Students Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, pp. 7165-7173, 2026 Jana Gonnermann-Müller, Jennifer Haase, Nicolas Leins, Moritz Igel, Konstantin Fackeldey, Sebastian Pokutta BibTeX
DOI
arXiv

Fast convergence of Frank-Wolfe algorithms on polytopes Mathematics of Operations Research, 51(2), pp. 1463-1485, 2026 Elias Wirth, Javier Peña, Sebastian Pokutta BibTeX
DOI
arXiv

Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation, pp. 227-236, 2026 Kirill Khoruzhii, Patrick Gelß, Sebastian Pokutta BibTeX
DOI
arXiv

Flexible block-iterative analysis for the Frank-Wolfe algorithm Journal of Optimization Theory and Applications, 210(2), p. 37, 2026 Gábor Braun, Jannis Halbey, Sebastian Pokutta, Zev Woodstock BibTeX
DOI
arXiv

Frank-Wolfe Beyond 1/t Convergence Advances in Neural Information Processing Systems, Vol.39, 2026 (accepted for publication) Sebastian Pokutta BibTeX
arXiv

From Associations to Activations: Comparing Behavioral and Hidden-State Semantic Geometry in LLMs Proceedings of the 43rd International Conference on Machine Learning, Vol.306, Proceedings of Machine Learning Research, 2026 Louis Schiekiera, Max Zimmer, Christophe Roux, Sebastian Pokutta, Fritz Günther BibTeX
arXiv

Graph Isomorphism: Mixed-Integer Convex Optimization from First-Order Methods Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 614-630, Vol.16595, Lecture Notes in Computer Science, 2026 Wenjie Xiao, Mathieu Besançon, Patrick Gelß, Deborah Hendrych, Stefan Klus, Sebastian Pokutta BibTeX
DOI
arXiv

Graphs with large minimum degree and no short odd cycles are $3$-colourable Combinatorial Theory, 6(3), 2026 Julia Böttcher, Nóra Frankl, Domenico Mergoni Cecchelli, Olaf Parczyk, Jozef Skokan BibTeX
DOI
arXiv

How team organization influences the ability to solve automation failures: an experimental study on human–AI decision-making in teams AI & SOCIETY, 41(4), pp. 3605-3620, 2026 Martin Krzywdzinski, Philip Wotschack, Jana Gonnermann-Müller, Norbert Gronau BibTeX
DOI

Human–AI Cocreativity: Exploring synergies across levels of creative collaboration Generative Artificial Intelligence and Creativity, pp. 205-221, Elsevier, 2026 Jennifer Haase, Sebastian Pokutta BibTeX
DOI
arXiv

It's Not Just the Prompt: Model Choice Dominates LLM Creative Output Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems, pp. 1-5, 2026 Jennifer Haase, Jana Gonnermann-Müller, Paul H. P. Hanel, Nicolas Leins, Thomas Kosch, Jan Mendling, Sebastian Pokutta BibTeX
DOI
arXiv

Joint-Range Inequalities for Nonconvex QCQPs 2026 Liding Xu, Sebastian Pokutta BibTeX
arXiv

LLM-Based Educational Simulation: Evaluating Temporal Student Persona Stability Across ADHD Profiles 2026 Jana Gonnermann-Müller, Jennifer Haase, Nicolas Leins, Thomas Kosch, Sebastian Pokutta BibTeX
arXiv

Learning the Coefficients of the Standard Volatility Forecaster 2026 Ulysse Petit-Tichanné, Nico Pelleriti, Max Zimmer, Sebastian Pokutta BibTeX

Limits of combinatorial patchworking 2026 Zoe Geiselmann, Michael Joswig, Lars Kastner, Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Marcel Wack, Max Zimmer BibTeX
arXiv

Linear Convergence of the Frank-Wolfe Algorithm over Product Polytopes Proceedings of The 29th International Conference on Artificial Intelligence and Statistics, Vol.300, Proceedings of Machine Learning Research, 2026 Gabriele Iommazzo, David Martínez-Rubio, Francisco Criado, Elias Wirth, Sebastian Pokutta BibTeX
arXiv

LinearPFN: Amortized Variable Selection for Linear Models with Interactions 2026 Louis Schiekiera, Max Zimmer, Christophe Roux, Manuel Arnold, Sebastian Pokutta, Fritz Günther BibTeX
arXiv

Local and Global Uniform Convexity Conditions Data Science and Optimization, Vol.91, pp. 85-120, Springer Science+Business Media, 2026 Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta BibTeX
DOI
arXiv

Lower Bounds for Frank-Wolfe on Strongly Convex Sets Proceedings of the 43rd International Conference on Machine Learning, Vol.306, Proceedings of Machine Learning Research, 2026 Jannis Halbey, Daniel Deza, Max Zimmer, Christophe Roux, Bartolomeo Stellato, Sebastian Pokutta BibTeX
arXiv

Lower Bounds for Randomized Linear-Oracle Optimization over Strongly Convex Sets 2026 Sebastian Pokutta BibTeX
arXiv

MIP-DD: Delta Debugging for Mixed-Integer Programming Solvers INFORMS Journal on Computing, 38(2), pp. 414-423, 2026 Alexander Hoen, Dominik Kamp, Ambros Gleixner BibTeX
DOI
arXiv

Maintaining Stable Personas? Examining Temporal Stability in LLM-Based Human Simulation Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems, pp. 1-6, 2026 Jana Gonnermann-Müller, Jennifer Haase, Nicolas Leins, Thomas Kosch, Sebastian Pokutta BibTeX
DOI
arXiv

Measurement incompatibility and quantum steering via linear programming Quantum, Vol.10, p. 2141, 2026 Lucas E. A. Porto, Sébastien Designolle, Sebastian Pokutta, Marco Túlio Quintino BibTeX
DOI
arXiv

Measuring Model-Specific Alignment Drift in LLM-Based Opinion Dynamics 2026 Nataša Djurdjevac Conrad, Sebastian Pokutta, Christof Schütte BibTeX
arXiv

Most incompatible measurements and sum-of-squares optimisation New Journal of Physics, 28(6), p. 064509, 2026 Sébastien Designolle BibTeX
DOI
arXiv

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings Proceedings of the 43rd International Conference on Machine Learning, Vol.306, Proceedings of Machine Learning Research, 2026 Berkant Turan, Suhrab Asadulla, David Steinmann, Kristian Kersting, Wolfgang Stammer, Sebastian Pokutta BibTeX
arXiv

Neural Field Tokenizations with Hierarchy and Spatial Locality Priors 2026 Alonso Urbano, David W. Romero, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers International Conference on Learning Representations 2026, 2026 Nico Pelleriti, Christoph Spiegel, Shiwei Liu, David Martínez-Rubio, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

Norm-induced cuts: outer approximation for Lipschitzian constraint functions Journal of Global Optimization, 94(1), pp. 35-63, 2026 Adrian Göß, Alexander Martin, Sebastian Pokutta, Kartikey Sharma BibTeX
DOI
arXiv

Numerical approximation of the Koopman-von Neumann equation: Operator learning and quantum computing Physical Review E, 114(4), p. 045304, 2026 Stefan Klus, Feliks Nüske, Patrick Gelß BibTeX
DOI
arXiv

On a Frank-Wolfe approach for abs-smooth functions Optimization Methods and Software, 41(2), pp. 423-449, 2026 Timo Kreimeier, Sebastian Pokutta, Andrea Walther, Zev Woodstock BibTeX
DOI
arXiv

On low-rank tensor train approximability for linear nearest neighbor systems 2026 Patrick Gelß, Sebastian Matera, Reinhold Schneider, André Uschmajew BibTeX
arXiv

Optimal Gradient-Norm Minimization in Non-Euclidean Hölder-Smooth Convex Optimization 2026 Nico Pelleriti, Maryam Shiran, David Martínez-Rubio, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

Out-of-the-Box Global Optimization for Packing Problems: New Models and Improved Solutions 2026 Timo Berthold, Dominik Kamp, Gioni Mexi, Sebastian Pokutta, Imre Pólik BibTeX
arXiv

Prescriptive preparation and verification of nonstabilizer states Physical Review Applied, 26(1), p. 014074, 2026 Jian Li, Ye-Chao Liu, Xiao-Xiao Chen, Zhe Meng, Xing-Yan Fan, Wen-Hao Wang, Jie Ma, An-Ning Zhang, Jiangwei Shang BibTeX
DOI
arXiv

Prompting Against Persona Drift: Comparing Intervention Timing and Content in LLM-Simulated Conversations 2026 Nicolas Leins, Jennifer Haase, Varvara Geronimus, Jana Gonnermann-Müller, Sebastian Pokutta BibTeX
arXiv

QUASAR: A Flexible QM-MM Method for Biomolecular Systems based on Restraining Spheres Computer Physics Communications, Vol.320, p. 109949, 2026 Christoph Gorgulla, Alejandro J. Garza, Venkat Kapil, Konstantin Fackeldey BibTeX
DOI

RECON: Robust symmetry discovery via Explicit Canonical Orientation Normalization International Conference on Learning Representations 2026, 2026 Alonso Urbano, David W. Romero, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

Race, Exchange, Improve: Finding high-quality MIP solutions quickly 2026 Gioni Mexi, Daniel Rehfeldt BibTeX
arXiv

Random-Subspace Frank--Wolfe over Strongly Convex Sets 2026 Pierre-Louis Poirion, Sebastian Pokutta, Akiko Takeda BibTeX
arXiv

Relaxations for Binary Polynomial Optimization via Signed Certificates Mathematics of Operations Research, p. moor.2024.0534, 2026 Liding Xu, Leo Liberti BibTeX
DOI
arXiv

Restart and Adaptive Acceleration in Stochastic Gradient Methods 2026 Ali Elhishi, Christophe Roux, Alexandre d'Aspremont BibTeX
arXiv

Robot Programming with Augmented Reality: The Role of Spatial Ability 2026 Nicolas Leins, Muriel Fischer, Malte Teichmann, Jana Gonnermann-Müller, Sebastian Pokutta BibTeX
arXiv

Scalable Lindblad Noise Learning via Stochastic Tensor-Network Simulation 2026 Alejandro Ramos Ramos, Maximilian Fröhlich, Aaron Sander, Robert Wille, Martin Eigel, Patrick Gelß, Sebastian Pokutta BibTeX
arXiv

Second-order Conditional Gradient Sliding Data Science and Optimization, Vol.91, pp. 303-321, Springer Science+Business Media, 2026 Alejandro Carderera, Sebastian Pokutta BibTeX
DOI
arXiv

Simulating Eating Disorder Patients with LLMs: Evaluating Psychological Persona Stability in Multi-Turn Conversations 2026 Jennifer Haase, Jana Gonnermann-Müller, See Heng Yim, Nicolas Leins, Jan Mendling, Sebastian Pokutta BibTeX
arXiv

Strongly Convex Sets in Riemannian Manifolds International Conference on Learning Representations 2026, pp. 23433-23468, 2026 Damien Scieur, David Martínez-Rubio, Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta BibTeX
arXiv

Structured Creativity Methods for Multi-Agent LLMs: Brainwriting Outperforms Disney and Double Diamond 2026 Jennifer Haase, Sebastian Pokutta BibTeX

Sustainability via Large Language Model Right-Sizing IEEE Transactions on Sustainable Computing, 11(4), pp. 426-438, 2026 Jennifer Haase, Finn Klessascheck, Jan Mendling, Sebastian Pokutta BibTeX
DOI
arXiv

Teacher-centered LLM-based multi-agent systems–towards differentiated educational worksheets Innovation: The European Journal of Social Science Research, pp. 1-23, 2026 (epub ahead of print) Jana Gonnermann-Müller, Jennifer Haase, Konstantin Fackeldey, Sebastian Pokutta BibTeX
arXiv
DOI

Tensor Decomposition for Non-Clifford Gate Minimization 2026 Kirill Khoruzhii, Patrick Gelß, Sebastian Pokutta BibTeX
arXiv

The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning 2026 Max Zimmer, Nico Pelleriti, Christophe Roux, Sebastian Pokutta BibTeX
arXiv

The Hidden Cost of Tokenization: Why (most) Non-English Speakers Pay More for Less 2026 Jennifer Haase, Sebastian Pokutta BibTeX
DOI

The KV-Surgeon: Compensation-Aware Offline KV-Cache Compaction 2026 Moritz Wagner, Christophe Roux, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

The Maximum Diameter of 2-Dimensional Simplicial Complexes Discrete & Computational Geometry, 2026 Olaf Parczyk, Silas Rathke, Tibor Szabó BibTeX
DOI
arXiv

The Missing Drive: Functional Analogs of Intrinsic Motivation in Large Language Models for Creative Tasks 2026 Jennifer Haase, Sebastian Pokutta BibTeX

The Rado multiplicity problem in vector spaces over finite fields Finite Fields and Their Applications, Vol.111, p. 102782, 2026 Juanjo Rué, Christoph Spiegel BibTeX
DOI
arXiv

The Weight Distribution of the Third-Order Reed-Muller Code of Length 2048 2026 Kirill Khoruzhii, Patrick Gelß, Sebastian Pokutta BibTeX
arXiv

The exact worst-case asymptotic rate of Nesterov acceleration for strongly convex optimization 2026 Sebastian Pokutta, Bartolomeo Stellato BibTeX
arXiv

The four-color Ramsey multiplicity of triangles Journal of Combinatorial Theory, Series B, Vol.179, pp. 19-70, 2026 Aldo Kiem, Sebastian Pokutta, Christoph Spiegel BibTeX
DOI
arXiv

The maximum diameter of $d$-dimensional simplicial complexes 2026 Stefan Glock, Olaf Parczyk, Silas Rathke, Tibor Szabó BibTeX
arXiv

Triangle Factors in the Semi-Random Graph Process 2026 Olaf Parczyk, Eva Schinzel BibTeX
arXiv

TruckDrive: Long-Range Autonomous Highway Driving Dataset 2026 Filippo Ghilotti, Edoardo Palladin, Samuel Brucker, Adam Sigal, Mario Bijelic, Felix Heide BibTeX
arXiv

UniLiPs: Unified LiDAR Pseudo-Labeling with Geometry-Grounded Dynamic Scene Decomposition 2026 International Conference on 3D Vision (3DV), pp. 1680-1690, 2026 Filippo Ghilotti, Samuel Brucker, Nahku Saidy, Matteo Matteucci, Mario Bijelic, Felix Heide BibTeX
DOI
arXiv

What Do Evolutionary Coding Agents Evolve? 2026 Nico Pelleriti, Sree Harsha Nelaturu, Zhanke Zhou, Zongze Li, Max Zimmer, Bo Han, Sebastian Pokutta BibTeX
arXiv

When Does LLM Orchestration Pay Off? A Controlled Evaluation of Accuracy, Cost, and Task Difficulty 2026 Nicolas Leins, Nico Pelleriti, Jana Gonnermann-Müller, Sebastian Pokutta BibTeX
arXiv

When Does Sparsity Mitigate the Curse of Depth in LLMs Proceedings of the 43rd International Conference on Machine Learning, Vol.306, Proceedings of Machine Learning Research, 2026 Dilxat Muhtar, Xinyuan Song, Sebastian Pokutta, Max Zimmer, Nico Pelleriti, Thomas Hofmann, Shiwei Liu BibTeX
arXiv

Within-Model vs Between-Prompt Variability in Large Language Models for Creative Tasks Advances in Neural Information Processing Systems, Vol.39, 2026 (accepted for publication) Jennifer Haase, Jana Gonnermann-Müller, Paul H. P. Hanel, Nicolas Leins, Thomas Kosch, Jan Mendling, Sebastian Pokutta BibTeX
arXiv

Zero: A Meta-Agent for Mathematical Research 2026 Nico Pelleriti, Konrad Mundinger, Max Zimmer, Sebastian Pokutta BibTeX

2025

A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming Operations Research Proceedings 2023, pp. 217-224, Lecture Notes in Operations Research, 2025 (preprint available as ) Mark Turner, Timo Berthold, Mathieu Besançon BibTeX
DOI
arXiv

A Multi-reference Relaxation Enforced Neighborhood Search Heuristic in SCIP Operations Research Proceedings 2024, pp. 421-427, Lecture Notes in Operations Research, 2025 Suresh Bolusani, Gioni Mexi, Mathieu Besançon, Mark Turner BibTeX
DOI
arXiv

A diving heuristic for mixed-integer problems with unbounded semi-continuous variables EURO Journal on Computational Optimization, Vol.13, p. 100107, 2025 Katrin Halbig, Alexander Hoen, Ambros Gleixner, Jakob Witzig, Dieter Weninger BibTeX
DOI
arXiv

A note on asynchronous projective splitting in Julia 2025 Utkarsh Sharma, Kashish Goel, Aryan Dua, Sebastian Pokutta, Zev Woodstock BibTeX

Accelerated Methods for Riemannian Min-Max Optimization Ensuring Bounded Geometric Penalties Proceedings of The 28th International Conference on Artificial Intelligence and Statistics, pp. 280-288, Vol.258, Proceedings of Machine Learning Research, 2025 David Martínez-Rubio, Christophe Roux, Christopher Criscitiello, Sebastian Pokutta BibTeX
arXiv

Accelerated affine-invariant convergence rates of the Frank–Wolfe algorithm with open-loop step-sizes Mathematical Programming, Series A, 214(1-2), pp. 201-245, 2025 Elias Wirth, Javier Peña, Sebastian Pokutta BibTeX
DOI
arXiv

Adapter Merging with Centroid Prototype Mapping for Scalable Class-Incremental Learning 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 4884-4893, 2025 Takuma Fukuda, Hiroshi Kera, Kazuhiko Kawamoto BibTeX
DOI
arXiv

Adversarially Pretrained Transformers May Be Universally Robust In-Context Learners 2025 Soichiro Kumano, Hiroshi Kera, Toshihiko Yamasaki BibTeX
arXiv

An efficient first-order conditional gradient algorithm in data-driven sparse identification of nonlinear dynamics to solve sparse recovery problems under noise Journal of Computational and Applied Mathematics, Vol.470, p. 116675, 2025 Alejandro Carderera, Sebastian Pokutta, Christof Schütte, Martin Weiser BibTeX
DOI
arXiv

Analyzing the Numerical Correctness of Branch-and-Bound Decisions for Mixed-Integer Programming Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 35-50, Vol.15763, Lecture Notes in Computer Science, 2025 Alexander Hoen, Ambros Gleixner BibTeX
DOI
arXiv

Approximating Latent Manifolds in Neural Networks via Vanishing Ideals Proceedings of the 42nd International Conference on Machine Learning, pp. 48734-48761, Vol.267, Proceedings of Machine Learning Research, 2025 Nico Pelleriti, Max Zimmer, Elias Wirth, Sebastian Pokutta BibTeX
arXiv

Beating the optimal verification of entangled states via collective strategies Physical Review A, 112(6), p. L060401, 2025 Ye-Chao Liu, Jiangwei Shang BibTeX
DOI
arXiv

Beyond Short Steps in Frank-Wolfe Algorithms 2025 David Martínez-Rubio, Sebastian Pokutta BibTeX
arXiv

Boscia.jl: A review and tutorial 2025 Wenjie Xiao, Deborah Hendrych, Mathieu Besançon, Sebastian Pokutta BibTeX
arXiv

Branch and price for nonlinear production-maintenance scheduling in complex machinery 2025 João Dionísio, Ambros Gleixner, João Pedro Pedroso, Ksenia Bestuzheva BibTeX
arXiv

CALT: A Library for Computer Algebra with Transformer ACM Communications in Computer Algebra, 59(4), pp. 121-128, 2025 Hiroshi Kera, Shun Arakawa, Yuta Sato BibTeX
DOI
arXiv

Capturing Temporal Dynamics in Large-Scale Canopy Tree Height Estimation Proceedings of the 42nd International Conference on Machine Learning, pp. 48422-48438, Vol.267, Proceedings of Machine Learning Research, 2025 Jan Pauls, Max Zimmer, Berkant Turan, Sassan Saatchi, Philippe Ciais, Sebastian Pokutta, Fabian Gieseke BibTeX
arXiv

Clique Probing for Mixed-Integer Programs 2025 Jacob von Holly-Ponientzietz, Alexander Hoen, Mark Turner, Ambros Gleixner BibTeX
arXiv

Collapsing Taylor Mode Automatic Differentiation Advances in Neural Information Processing Systems, pp. 163307-163346, Vol.38, 2025 Felix Dangel, Tim Siebert, Marius Zeinhofer, Andrea Walther BibTeX
DOI
arXiv

Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization INFORMS Journal on Computing, 37(4), pp. 933-944, 2025 (preprint available as ZIB-Report 23-26) Leon Eifler, Jules Nicolas-Thouvenin, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
arXiv

Compressed sparse tiles for memory-efficient unstructured and semi-structured sparsity 2025 Mike Lasby, Max Zimmer, Sebastian Pokutta, Erik Schultheis BibTeX

Compression-aware training of neural networks using Frank-Wolfe Mathematical Optimization for Machine Learning, K. Fackeldey (Ed.), De Gruyter, pp. 137-168, 2025 Max Zimmer, Christoph Spiegel, Sebastian Pokutta BibTeX
DOI
arXiv

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms Advances in Neural Information Processing Systems, pp. 10434-10476, Vol.38, 2025 Hiroshi Kera, Nico Pelleriti, Yuki Ishihara, Max Zimmer, Sebastian Pokutta BibTeX
DOI
arXiv

Conditional Gradient Methods: From Core Principles to AI Applications Society for Industrial and Applied Mathematics, 2025 Gábor Braun, Alejandro Carderera, Cyrille Combettes, Hamed Hassani, Amin Karbasi, Aryan Mokhtari, Sebastian Pokutta BibTeX
DOI
arXiv

Construction of a Test Library for the Rolling Stock Rotation Problem with Predictive Maintenance Operations Research Proceedings 2023, pp. 281-286, Lecture Notes in Operations Research, 2025 Felix Prause, Ralf Borndörfer BibTeX
DOI

Continuous optimization methods for the graph isomorphism problem Information and Inference: A Journal of the IMA, 14(2), p. iaaf011, 2025 Stefan Klus, Patrick Gelß BibTeX
DOI
arXiv

Convex mixed-integer optimization with Frank-Wolfe methods Mathematical Programming Computation, 17(4), pp. 731-757, 2025 Deborah Hendrych, Hannah Troppens, Mathieu Besançon, Sebastian Pokutta BibTeX
DOI
arXiv

Convex semidefinite tensor optimization and quantum entanglement 2025 Liding Xu, Ye-Chao Liu, Sebastian Pokutta BibTeX
arXiv

Correction: Accelerated affine-invariant convergence rates of the Frank-Wolfe algorithm with open-loop step-sizes Mathematical Programming, Series A, 214(1-2), pp. 941-942, 2025 Elias Wirth, Javier Peña, Sebastian Pokutta BibTeX
DOI

Cut-Based Conflict Analysis in Mixed Integer Programming INFORMS Journal on Computing, p. ijoc.2024.0999, 2025 Gioni Mexi, Felipe Serrano, Timo Berthold, Ambros Gleixner, Jakob Nordström BibTeX
DOI
arXiv

DUNIA: Pixel-Sized Embeddings via Cross-Modal Alignment for Earth Observation Applications Proceedings of the 42nd International Conference on Machine Learning, pp. 16375-16406, Vol.267, Proceedings of Machine Learning Research, 2025 Ibrahim Fayad, Max Zimmer, Martin Schwartz, Fabian Gieseke, Philippe Ciais, Gabriel Belouze, Sarah Brood, Aurelien De Truchis, Alexandre d'Aspremont BibTeX
arXiv

Discovering Learning-Friendly Generation Orders for Sequential Computation 2025 Yuta Sato, Kazuhiko Kawamoto, Hiroshi Kera BibTeX
arXiv

Don't Be Greedy, Just Relax! Pruning LLMs via Frank-Wolfe 2025 Christophe Roux, Max Zimmer, Alexandre d'Aspremont, Sebastian Pokutta BibTeX
arXiv

Efficient Quadratic Corrections for Frank-Wolfe Algorithms Advances in Neural Information Processing Systems, pp. 27497-27541, Vol.38, 2025 Jannis Halbey, Seta Rakotomandimby, Mathieu Besançon, Sébastien Designolle, Sebastian Pokutta BibTeX
DOI
arXiv

Efficient separation of RLT cuts for implicit and explicit bilinear terms Mathematical Programming, Series B, 210(1-2), pp. 47-74, 2025 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
arXiv

Fast Frank--Wolfe Algorithms with Adaptive Bregman Step-Size for Weakly Convex Functions 2025 Shota Takahashi, Sebastian Pokutta, Akiko Takeda BibTeX
arXiv

Feature Engineering for the Prediction of Scoliosis in 5q‐Spinal Muscular Atrophy Journal of Cachexia, Sarcopenia and Muscle, 16(1), p. e13599, 2025 Tu‐Lan Vu‐Han, Vikram Sunkara, Rodrigo Bermudez‐Schettino, Jakob Schwechten, Robin Runge, Carsten Perka, Tobias Winkler, Sebastian Pokutta, Claudia Weiß, Matthias Pumberger BibTeX
DOI

GSE: Group-wise sparse and explainable adversarial attacks International Conference on Learning Representations 2025, 2025 Shpresim Sadiku, Moritz Wagner, Sebastian Pokutta BibTeX
arXiv

Global optimization of mixed-integer nonlinear programs with SCIP 8 Journal of Global Optimization, 91(2), pp. 287-310, 2025 (preprint available as ZIB-Report 23-01) Ksenia Bestuzheva, Antonia Chmiela, Benjamin Müller, Felipe Serrano, Stefan Vigerske, Fabian Wegscheider PDF (ZIB-Report)
BibTeX
DOI
arXiv

Gradient-Weighted, Data-Driven Normalization for Approximate Border Bases -- Concept and Computation 2025 Hiroshi Kera, Achim Kehrein BibTeX
arXiv

Has the Creativity of Large-Language Models peaked? An analysis of inter- and intra-LLM variability Journal of Creativity, 35(3), p. 100113, 2025 Jennifer Haase, Paul H. P. Hanel, Sebastian Pokutta BibTeX
DOI
arXiv

Hybrid genetic search for dynamic vehicle routing with time windows Operations Research Proceedings 2023, pp. 273-280, Lecture Notes in Operations Research, 2025 Mohammed Ghannam, Ambros Gleixner BibTeX
DOI
arXiv

Implicit Riemannian optimism with applications to min-max problems Proceedings of the 42nd International Conference on Machine Learning, pp. 52139-52172, Vol.267, Proceedings of Machine Learning Research, 2025 Christophe Roux, David Martínez-Rubio, Sebastian Pokutta BibTeX
arXiv

Improved Algorithms and Novel Applications of the FrankWolfe.jl Library ACM Transactions on Mathematical Software, 51(4), pp. 1-33, 2025 Mathieu Besançon, Sébastien Designolle, Jannis Halbey, Deborah Hendrych, Dominik Kuzinowicz, Sebastian Pokutta, Hannah Troppens, Daniel Viladrich Herrmannsdoerfer, Elias Wirth BibTeX
DOI
arXiv

Infinitely many counterexamples to a conjecture of Lovász 2025 Aida Abiad, Frederik Garbe, Xavier Povill, Christoph Spiegel BibTeX
arXiv

Large-scale stochastic simulation of open quantum systems Nature Communications, 16(1), p. 11074, 2025 Aaron Sander, Maximilian Fröhlich, Martin Eigel, Jens Eisert, Patrick Gelß, Michael Hintermüller, Richard Milbradt, Robert Wille, Christian Mendl BibTeX
DOI
arXiv

Learning Moderately Input-Sensitive Functions: A Case Study in QR Code Decoding 2025 Kazuki Yoda, Kazuhiko Kawamoto, Hiroshi Kera BibTeX
arXiv

Let's Be Realistic: AI-Recommender Use in a Complex Management Setting Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, pp. 1-10, 2025 Jana Gonnermann-Müller, Kristina Sahling, Jennifer Haase BibTeX
DOI

Mathematical Optimization for Machine Learning Konstantin Fackeldey, Aswin Kannan, Sebastian Pokutta, Kartikey Sharma, Daniel Walter, Andrea Walther, Martin Weiser (Eds.), De Gruyter, 2025, ISBN: 9783111376776 BibTeX
DOI

Mixed-Integer Optimization for Loopless Flux Distributions in Metabolic Networks 23rd International Symposium on Experimental Algorithms (SEA 2025), pp. 26:1-26:18, Vol.338, Leibniz International Proceedings in Informatics, 2025 Hannah Troppens, Mathieu Besançon, St. Elmo Wilken, Sebastian Pokutta BibTeX
DOI
arXiv

Monoidal strengthening and unique lifting in MIQCPs Mathematical Programming, Series B, 210(1-2), pp. 189-222, 2025 Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano BibTeX
DOI

Neural Discovery in Mathematics: Do Machines Dream of Colored Planes? Proceedings of the 42nd International Conference on Machine Learning, pp. 45236-45255, Vol.267, Proceedings of Machine Learning Research, 2025 Konrad Mundinger, Max Zimmer, Aldo Kiem, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv

New Ramsey multiplicity bounds and search heuristics Foundations of Computational Mathematics, 25(5), pp. 1777-1814, 2025 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX
DOI
arXiv

Objective Coefficient Rounding and Almost Symmetries in Binary Programs 2025 Dominik Kuzinowicz, Paweł Lichocki, Gioni Mexi, Marc Pfetsch, Sebastian Pokutta, Max Zimmer BibTeX
arXiv

On Product Schur Triples in the Integers SIAM Journal on Discrete Mathematics, 39(2), pp. 1082-1095, 2025 Letícia Mattos, Domenico Mergoni Cecchelli, Olaf Parczyk BibTeX
DOI
arXiv

On the byzantine-resilience of distillation-based federated learning International Conference on Learning Representations 2025, 2025 Christophe Roux, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 218-234, Vol.15763, Lecture Notes in Computer Science, 2025 (preprint available as ) Mark Turner, Antonia Chmiela, Thorsten Koch, Michael Winkler BibTeX
DOI
arXiv

Quantum dynamics of coupled excitons and phonons in chain-like systems: tensor train approaches and higher-order propagators The Journal of Chemical Physics, 162(15), p. 154115, 2025 Patrick Gelß, Sebastian Matera, Rupert Klein, Burkhard Schmidt BibTeX
DOI
arXiv

Robust entanglement buffers based on SWAP interactions Quantum Science and Technology, 10(4), p. 04LT01, 2025 Ye-Chao Liu, Otfried Gühne, Stefan Nimmrichter BibTeX
DOI
arXiv

S-CFE: Simple Counterfactual Explanations Proceedings of The 28th International Conference on Artificial Intelligence and Statistics, pp. 172-180, Vol.258, Proceedings of Machine Learning Research, 2025 Shpresim Sadiku, Moritz Wagner, Sai Ganesh Nagarajan, Sebastian Pokutta BibTeX
arXiv

S-DAT: A Multilingual, GenAI-Driven Framework for Automated Divergent Thinking Assessment Proceedings of the AAAI/ACM Conference on AI Ethics and Society, 8(2), pp. 1194-1205, 2025 Jennifer Haase, Paul H. P. Hanel, Sebastian Pokutta BibTeX
DOI
arXiv

S-DAT: a multilingual, GenAI-driven framework for automated divergent thinking assessment Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, pp. 1194-1205, Vol.8, 2025 Jennifer Haase, Paul H. P. Hanel, Sebastian Pokutta BibTeX
arXiv

Scalable DC Optimization via Adaptive Frank-Wolfe Algorithms 2025 Sebastian Pokutta BibTeX
arXiv

Scenario Reduction for Distributionally Robust Optimization 2025 Kevin-Martin Aigner, Sebastian Denzler, Frauke Liers, Sebastian Pokutta, Kartikey Sharma BibTeX
arXiv

Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization Operations Research Proceedings 2023, pp. 65-72, Lecture Notes in Operations Research, 2025 Gioni Mexi, Mathieu Besançon, Suresh Bolusani, Antonia Chmiela, Alexander Hoen, Ambros Gleixner BibTeX
DOI
arXiv

Secant line search for Frank-Wolfe algorithms Proceedings of the 42nd International Conference on Machine Learning, pp. 23005-23029, Vol.267, Proceedings of Machine Learning Research, 2025 Deborah Hendrych, Mathieu Besançon, David Martínez-Rubio, Sebastian Pokutta BibTeX
arXiv

Sorting Criteria for Line-based Periodic Timetabling Heuristics Operations Research Proceedings 2024, pp. 348-354, Lecture Notes in Operations Research, 2025 (preprint available as ZIB-Report 24-07) Patricia Ebert, Berenike Masing, Niels Lindner, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI

Spanning Spheres in Dirac Hypergraphs Combinatorica, 45(4), p. 43, 2025 Freddie Illingworth, Richard Lang, Alp Müyesser, Olaf Parczyk, Amedeo Sgueglia BibTeX
DOI
arXiv

SparseSwaps: Tractable LLM Pruning Mask Refinement at Scale 2025 Max Zimmer, Christophe Roux, Moritz Wagner, Deborah Hendrych, Sebastian Pokutta BibTeX
arXiv

Sparsity-driven Aggregation of Mixed Integer Programs 23rd International Symposium on Experimental Algorithms (SEA 2025), pp. 27:1-27:15, Vol.338, Leibniz International Proceedings in Informatics, 2025 Liding Xu, Gioni Mexi, Ksenia Bestuzheva BibTeX
DOI
arXiv

Specifying ten roles of using chatgpt in secondary education: a teacher´s perspective ECIS 2025 Proceedings, 2025 Philip Schummel, Malte Teichmann, Jana Gonnermann-Müller BibTeX

Splitting the conditional gradient algorithm SIAM Journal on Optimization, 35(1), pp. 347-368, 2025 Zev Woodstock, Sebastian Pokutta BibTeX
DOI
arXiv

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP 2025 Gioni Mexi, Dominik Kamp, Yuji Shinano, Shanwen Pu, Alexander Hoen, Ksenia Bestuzheva, Christopher Hojny, Matthias Walter, Marc Pfetsch, Sebastian Pokutta, Thorsten Koch BibTeX
arXiv

The Complexity of Two-Team Polymatrix Games with Independent Adversaries International Conference on Learning Representations 2025, 2025 Alexandros Hollender, Gilbert Maystre, Sai Ganesh Nagarajan BibTeX
arXiv

The Good, the Bad and the Ugly: Meta-Analysis of Watermarks, Transferable Attacks and Adversarial Defenses Advances in Neural Information Processing Systems, pp. 89062-89108, Vol.38, 2025 Grzegorz Głuch, Berkant Turan, Sai Ganesh Nagarajan, Sebastian Pokutta BibTeX
DOI
arXiv

The Pivoting Framework: Frank-Wolfe Algorithms with Active Set Size Control Proceedings of The 28th International Conference on Artificial Intelligence and Statistics, pp. 271-279, Vol.258, Proceedings of Machine Learning Research, 2025 Elias Wirth, Mathieu Besançon, Sebastian Pokutta BibTeX
arXiv

The SCIP Optimization Suite 10.0 2025 Christopher Hojny, Mathieu Besançon, Ksenia Bestuzheva, Sander Borst, João Dionísio, Johannes Ehls, Leon Eifler, Mohammed Ghannam, Ambros Gleixner, Adrian Göß, Alexander Hoen, Jacob von Holly-Ponientzietz, Rolf van der Hulst, Dominik Kamp, Thorsten Koch, Kevin Kofler, Jurgen Lentz, Marco Lübbecke, Stephen J. Maher, Paul Matti Meinhold, Gioni Mexi, Til Mohr, Erik Mühmer, Krunal Kishor Patel, Marc Pfetsch, Sebastian Pokutta, Chantal Reinartz Groba, Felipe Serrano, Yuji Shinano, Mark Turner, Stefan Vigerske, Matthias Walter, Dieter Weninger, Liding Xu BibTeX
arXiv

Training on Plausible Counterfactuals Removes Spurious Correlations 2025 Shpresim Sadiku, Kartikeya Chitranshi, Hiroshi Kera, Sebastian Pokutta BibTeX
arXiv

Understanding Generalization in Physics Informed Models through Affine Variety Dimensions Advances in Neural Information Processing Systems, pp. 50177-50215, Vol.38, 2025 Takeshi Koshizuka, Issei Sato BibTeX
DOI
arXiv

Unlocking Augmented Reality Learning Design Based on Evidence From Empirical Cognitive Load Studies—A Systematic Literature Review Journal of Computer Assisted Learning, 41(1), p. e13095, 2025 Jana Gonnermann-Müller, Jule M. Krüger BibTeX
DOI

Workflow-Driven Modeling for the Compute Continuum: An Optimization Approach to Automated System and Workload Scheduling 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 2170-2177, 2025 Aasish Kumar Sharma, Christian Boehme, Patrick Gelß, Ramin Yahyapour, Julian Kunkel BibTeX
DOI
arXiv

2024

A Bayesian Rolling Horizon Approach for Rolling Stock Rotation Planning with Predictive Maintenance 24th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2024), pp. 13:1-13:19, Vol.123, Open Access Series in Informatics, 2024 Felix Prause, Ralf Borndörfer BibTeX
DOI

A Generalized 𝛤-Convergence Concept for a Class of Equilibrium Problems Journal of Nonlinear Science, 34(5), p. 83, 2024 Michael Hintermüller, Steven-Marian Stengl BibTeX
DOI

A Multi-Swap Heuristic for Rolling Stock Rotation Planning with Predictive Maintenance Proceedings of the 11th International Network Optimization Conference (INOC), Dublin, Ireland, March 11-13, 2024, pp. 58-63, 2024 (preprint available as ZIB-Report 23-29) Felix Prause PDF (ZIB-Report)
BibTeX
DOI

Adjunctions, Box Products, and Forcing Families 2024 Aldo Kiem, Olaf Parczyk, Christoph Spiegel BibTeX
arXiv

An Iterative Refinement Approach for the Rolling Stock Rotation Problem with Predictive Maintenance 2024 (under review) Felix Prause, Ralf Borndörfer BibTeX
arXiv

An alternative formulation of the quantum phase estimation using projection-based tensor decompositions Quantum Information Processing, 23(4), p. 144, 2024 Steven-Marian Stengl BibTeX
DOI
arXiv

Approximating rolling stock rotations with integrated predictive maintenance Journal of Rail Transport Planning & Management, Vol.30, p. 100434, 2024 (preprint available as ZIB-Report 23-04) Felix Prause, Ralf Borndörfer, Boris Grimm, Alexander Tesch PDF (ZIB-Report)
BibTeX
DOI

Branch and Price for the Length-Constrained Cycle Partition Problem 2024 Mohammed Ghannam, Gioni Mexi, Edward Lam, Ambros Gleixner BibTeX
arXiv

Branch and cut for partitioning a graph into a cycle of clusters Combinatorial Optimization, pp. 97-108, Vol.14594, Lecture Notes in Computer Science, 2024 Leon Eifler, Jakob Witzig, Ambros Gleixner BibTeX
DOI
arXiv

Categorification of Flag Algebras Discrete Mathematics Days 2024, pp. 259-264, Vol.20, Obras Colectivas Ciencias, 2024 Aldo Kiem, Sebastian Pokutta, Christoph Spiegel BibTeX
DOI

Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver 2024 Sander Borst, Leon Eifler, Ambros Gleixner BibTeX
arXiv

Certifying MIP-based presolve reductions for 0-1 integer linear programs Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 310-328, Vol.14742, Lecture Notes in Computer Science, 2024 Alexander Hoen, Andy Oertel, Ambros Gleixner, Jakob Nordström BibTeX
DOI
arXiv

Challenges and opportunities in quantum optimization Nature Reviews Physics, 6(12), pp. 718-735, 2024 Amira Abbas, Andris Ambainis, Brandon Augustino, Andreas Bärtschi, Harry Buhrman, Carleton Coffrin, Giorgio Cortiana, Vedran Dunjko, Daniel J. Egger, Bruce G. Elmegreen, Nicola Franco, Filippo Fratini, Bryce Fuller, Julien Gacon, Constantin Gonciulea, Sander Gribling, Swati Gupta, Stuart Hadfield, Raoul Heese, Gerhard Kircher, Thomas Kleinert, Thorsten Koch, Georgios Korpas, Steve Lenk, Jakub Marecek, Vanio Markov, Guglielmo Mazzola, Stefano Mensa, Naeimeh Mohseni, Giacomo Nannicini, Corey O’Meara, Elena Peña Tapia, Sebastian Pokutta, Manuel Proissl, Patrick Rebentrost, Emre Sahin, Benjamin C. B. Symons, Sabine Tornow, Víctor Valls, Stefan Woerner, Mira L. Wolf-Bauwens, Jon Yard, Sheir Yarkoni, Dirk Zechiel, Sergiy Zhuk, Christa Zoufal BibTeX
DOI
arXiv

Comparing head-mounted and handheld augmented reality for guided assembly Journal on Multimodal User Interfaces, 18(4), pp. 313-328, 2024 Nicolas Leins, Jana Gonnermann-Müller, Malte Teichmann BibTeX
DOI

Computing eigenfrequency sensitivities near exceptional points Physical Review Research, 6(2), p. 023148, 2024 Felix Binkowski, Julius Kullig, Fridtjof Betz, Lin Zschiedrich, Andrea Walther, Jan Wiersig, Sven Burger BibTeX
DOI
arXiv

Convergence and Trade-Offs in Riemannian Gradient Descent and Riemannian Proximal Point Proceedings of the 41st International Conference on Machine Learning, pp. 34920-34948, Vol.235, Proceedings of Machine Learning Research, 2024 David Martínez-Rubio, Christophe Roux, Sebastian Pokutta BibTeX
arXiv

Corrections to “Lower Bounds on the Oracle Complexity of Nonsmooth Convex Optimization via Information Theory” IEEE Transactions on Information Theory, 70(7), pp. 5408-5409, 2024 Gábor Braun, Cristóbal Guzmán, Sebastian Pokutta BibTeX
DOI

Estimating canopy height at scale Proceedings of the 41st International Conference on Machine Learning, pp. 39972-39988, Vol.235, Proceedings of Machine Learning Research, 2024 Jan Pauls, Max Zimmer, Una M Kelly, Martin Schwartz, Sassan Saatchi, Philippe Ciais, Sebastian Pokutta, Martin Brandt, Fabian Gieseke BibTeX
arXiv

Existence and uniqueness of solutions of the Koopman--von Neumann equation on bounded domains Journal of Physics A: Mathematical and Theoretical, 57(39), p. 395302, 2024 Steven-Marian Stengl, Patrick Gelß, Stefan Klus, Sebastian Pokutta BibTeX
DOI
arXiv

Extending the Continuum of Six-Colorings Discrete Mathematics Days 2024, pp. 178-183, Vol.20, Obras Colectivas Ciencias, 2024 Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
DOI
arXiv

Extending the Continuum of Six-Colorings Geombinatorics, XXXIV(1), pp. 20-29, 2024 Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
arXiv

Feature-Based Interpretable Surrogates for Optimization 2024 Marc Goerigk, Michael Hartisch, Sebastian Merten, Kartikey Sharma BibTeX
arXiv

Flexible Differentiable Optimization via Model Transformations INFORMS Journal on Computing, 36(2), pp. 456-478, 2024 Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat, Akshay Sharma BibTeX
DOI
arXiv

Formulations of the continuous set-covering problem on networks: a comparative study 2024 Liding Xu, Claudia D'Ambrosio BibTeX
arXiv

Fredholm integral equations for function approximation and the training of neural networks SIAM Journal on Mathematics of Data Science, 6(4), pp. 1078-1108, 2024 Patrick Gelß, Aizhan Issagali, Ralf Kornhuber BibTeX
DOI
arXiv

How Many Clues To Give? A Bilevel Formulation For The Minimum Sudoku Clue Problem Operations Research Letters, Vol.54, p. 107105, 2024 (preprint available as ) Gennesaret Tjusila, Mathieu Besançon, Mark Turner, Thorsten Koch BibTeX
DOI
arXiv

Interpretability Guarantees with Merlin-Arthur Classifiers Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, pp. 1963-1971, Vol.238, Proceedings of Machine Learning Research, 2024 Stephan Wäldchen, Kartikey Sharma, Berkant Turan, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

Kissing polytopes SIAM Journal on Discrete Mathematics, 38(4), pp. 2643-2664, 2024 Antoine Deza, Shmuel Onn, Sebastian Pokutta, Lionel Pournin BibTeX
DOI
arXiv

Learning to compute Gröbner bases Advances in Neural Information Processing Systems, pp. 33141-33187, Vol.37, 2024 Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama BibTeX
DOI
arXiv

Network Design for the Traffic Assignment Problem with Mixed-Integer Frank-Wolfe 2024 Kartikey Sharma, Deborah Hendrych, Mathieu Besançon, Sebastian Pokutta BibTeX
arXiv

Neural Parameter Regression for Explicit Representations of PDE Solution Operators 2024 Konrad Mundinger, Max Zimmer, Sebastian Pokutta BibTeX
arXiv

Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 56-73, Vol.14743, Lecture Notes in Computer Science, 2024 Gioni Mexi, Somayeh Shamsi, Mathieu Besançon, Pierre Le Bodic BibTeX
DOI
arXiv

Resilience for tight Hamiltonicity Combinatorial Theory, 4(1), p. 9, 2024 Peter Allen, Olaf Parczyk, Vincent Pfenninger BibTeX
DOI
arXiv

Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework SIAM Journal on Optimization, 34(1), pp. 742-763, 2024 Leon Eifler, Ambros Gleixner BibTeX
DOI
arXiv

Scalable Frank-Wolfe on generalized self-concordant functions via simple steps SIAM Journal on Optimization, 34(3), pp. 2231-2258, 2024 Alejandro Carderera, Mathieu Besançon, Sebastian Pokutta BibTeX
DOI
arXiv

Shaping the laser control landscape of a hydrogen transfer reaction by vibrational strong coupling. A direct optimal control approach The Journal of Chemical Physics, 160(7), p. 074101, 2024 Alejandro Ramos Ramos, Eric W. Fischer, Peter Saalfrank, Oliver Kühn BibTeX
DOI
arXiv

Solving the optimal experiment design problem with mixed-integer convex methods 22nd International Symposium on Experimental Algorithms (SEA 2024), pp. 16:1-16:22, Vol.301, Leibniz International Proceedings in Informatics, 2024 Deborah Hendrych, Mathieu Besançon, Sebastian Pokutta BibTeX
DOI
arXiv

Source code and simulation results: Computing eigenfrequency sensitivities near exceptional points Zenodo, p. doi: 10.5281/zenodo.10715639, 2024 Felix Binkowski, Julius Kullig, Fridtjof Betz, Lin Zschiedrich, Andrea Walther, Jan Wiersig, Sven Burger BibTeX
DOI

Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging International Conference on Learning Representations 2024, 2024, ISBN: 9781713898658 Max Zimmer, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv

Symmetric multipartite Bell inequalities via Frank-Wolfe algorithms Physical Review A, 109(2), p. 022205, 2024 Sébastien Designolle, Tamás Vértesi, Sebastian Pokutta BibTeX
DOI
arXiv

The Four-Color Ramsey Multiplicity of Triangles Discrete Mathematics Days 2024, pp. 13-18, Vol.20, Obras Colectivas Ciencias, 2024 Aldo Kiem, Sebastian Pokutta, Christoph Spiegel BibTeX
DOI
arXiv

The Frank-Wolfe algorithm: a short introduction Jahresbericht der Deutschen Mathematiker-Vereinigung, 126(1), pp. 3-35, 2024 Sebastian Pokutta BibTeX
DOI
arXiv

The MIP workshop 2023 computational competition on reoptimization Mathematical Programming Computation, 16(2), pp. 255-266, 2024 Suresh Bolusani, Mathieu Besançon, Ambros Gleixner, Timo Berthold, Claudia D'Ambrosio, Gonzalo Muñoz, Joseph Paat, Dimitri Thomopulos BibTeX
DOI
arXiv

The SCIP Optimization Suite 9.0 ZIB-Report 24-02-29 Suresh Bolusani, Mathieu Besançon, Ksenia Bestuzheva, Antonia Chmiela, João Dionísio, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Mohammed Ghannam, Ambros Gleixner, Christoph Graczyk, Katrin Halbig, Ivo Hedtke, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Dominik Kamp, Thorsten Koch, Kevin Kofler, Jurgen Lentz, Julian Manns, Gioni Mexi, Erik Mühmer, Marc E. Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Mark Turner, Stefan Vigerske, Dieter Weninger, Liding Xu PDF
BibTeX
URN
arXiv

The complexity of geometric scaling Operations Research Letters, Vol.52, p. 107057, 2024 Antoine Deza, Sebastian Pokutta, Lionel Pournin BibTeX
DOI
arXiv

The square of a Hamilton cycle in randomly perturbed graphs Random Structures & Algorithms, 65(2), pp. 342-386, 2024 Julia Böttcher, Olaf Parczyk, Amedeo Sgueglia, Jozef Skokan BibTeX
DOI
arXiv

Value by Design: Reducing Cognitive Load by Using Visual Guidance in Augmented Reality - An Eye-Tracking Study ICIS 2024 Proceedings, 2024 Jana Gonnermann-Müller, Nicolas Leins, Norbert Gronau, Thomas Kosch BibTeX

Wide Two-Layer Networks can Learn from Adversarial Perturbations Advances in Neural Information Processing Systems, pp. 59755-59807, Vol.37, 2024 Soichiro Kumano, Hiroshi Kera, Toshihiko Yamasaki BibTeX
DOI
arXiv

2023

A Computational Study of Perspective Cuts Mathematical Programming Computation, 15(4), pp. 703-731, 2023 (preprint available as ZIB-Report 21-07) Ksenia Bestuzheva, Ambros Gleixner, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
arXiv

A computational status update for exact rational mixed integer programming Mathematical Programming, Series B, 197(2), pp. 793-812, 2023 Leon Eifler, Ambros Gleixner BibTeX
DOI
arXiv

A proof system for certifying symmetry and optimality reasoning in integer programming 2023 Jasper van Doornmalen, Leon Eifler, Ambros Gleixner, Christopher Hojny BibTeX
arXiv

Accelerated Riemannian Optimization: Handling Constraints with a Prox to Bound Geometric Penalties Proceedings of Thirty Sixth Conference on Learning Theory, pp. 359-393, Vol.195, Proceedings of Machine Learning Research, 2023 David Martínez-Rubio, Sebastian Pokutta BibTeX
arXiv

Accelerated and Sparse Algorithms for Approximate Personalized PageRank and Beyond Proceedings of Thirty Sixth Conference on Learning Theory, pp. 1-35, Vol.195, Proceedings of Machine Learning Research, 2023 David Martínez-Rubio, Elias Wirth, Sebastian Pokutta BibTeX
arXiv

Acceleration of Frank-Wolfe Algorithms with Open Loop Step-sizes Proceedings of The 26th International Conference on Artificial Intelligence and Statistics, pp. 77-100, Vol.206, Proceedings of Machine Learning Research, 2023 Elias Wirth, Thomas Kerdreux, Sebastian Pokutta BibTeX
arXiv

Approximate Vanishing Ideal Computations at Scale International Conference on Learning Representations 2023, 2023 Elias Wirth, Hiroshi Kera, Sebastian Pokutta BibTeX
arXiv

Branching via Cutting Plane Selection: Improving Hybrid Branching 2023 (preprint available as ) Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch BibTeX
arXiv

Construction of a Test Library for the Rolling Stock Rotation Problem with Predictive Maintenance ZIB-Report 23-20 (Appeared in: Operations Research Proceedings 2023 (2025), pp. 281-286) Felix Prause, Ralf Borndörfer PDF
BibTeX
URN

Cutting Plane Selection with Analytic Centers and Multiregression Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 52-68, Vol.13884, Lecture Notes in Computer Science, 2023 (preprint available as ) Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch BibTeX
DOI
arXiv

Cycle-based formulations in distance geometry Open Journal of Mathematical Optimization, Vol.4, pp. 1-16, 2023 Leo Liberti, Gabriele Iommazzo, Carlile Lavor, Nelson Maculan BibTeX
DOI
arXiv

Data-driven Distributionally Robust Optimization over Time INFORMS Journal on Optimization, 5(4), pp. 376-394, 2023 Kevin-Martin Aigner, Andreas Bärmann, Kristin Braun, Frauke Liers, Sebastian Pokutta, Oskar Schneider, Kartikey Sharma, Sebastian Tschuppik BibTeX
DOI
arXiv

Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products Integer Programming and Combinatorial Optimization, pp. 14-28, Vol.13904, Lecture Notes in Computer Science, 2023 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
arXiv

Enabling research through the SCIP optimization suite 8.0 ACM Transactions on Mathematical Software, 49(2), pp. 1-21, 2023 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig BibTeX
DOI
arXiv

Equivalence between simulability of high-dimensional measurements and high-dimensional steering Physical Review A, 107(5), p. 052425, 2023 Benjamin D. M. Jones, Roope Uola, Thomas Cope, Marie Ioannou, Sébastien Designolle, Pavel Sekatski, Nicolas Brunner BibTeX
DOI
arXiv

Fully Computer-assisted Proofs in Extremal Combinatorics Proceedings of the AAAI Conference on Artificial Intelligence, pp. 12482-12490, 37(10), 2023 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX
DOI
arXiv

How I Learned to Stop Worrying and Love Retraining International Conference on Learning Representations 2023, 2023 Max Zimmer, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv

Identifying Patterns of Medical Intervention in Acute Respiratory Failure: A Retrospective Observational Study Critical Care Explorations, 5(10), p. e0984, 2023 Jacqueline M. Kruser, Kartikey Sharma, Jane L. Holl, Omid Nohadani BibTeX
DOI

Improved local models and new Bell inequalities via Frank-Wolfe algorithms Physical Review Research, 5(4), p. 043059, 2023 Sébastien Designolle, Gabriele Iommazzo, Mathieu Besançon, Sebastian Knebel, Patrick Gelß, Sebastian Pokutta BibTeX
DOI
arXiv

Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), pp. 27:1-27:19, Vol.280, Leibniz International Proceedings in Informatics, 2023 Gioni Mexi, Timo Berthold, Ambros Gleixner, Jakob Nordström BibTeX
DOI
arXiv

Learning cuts via enumeration oracles Advances in Neural Information Processing Systems, pp. 79108-79123, Vol.36, 2023 Daniel Thuerck, Boro Sofranac, Marc Pfetsch, Sebastian Pokutta BibTeX
DOI
arXiv

Minimizing a low-dimensional convex function over a high-dimensional cube SIAM Journal on Optimization, 33(2), pp. 538-552, 2023 Christoph Hunkenschröder, Sebastian Pokutta, Robert Weismantel BibTeX
DOI
arXiv

Monoidal strengthening and unique lifting in MIQCPs Integer Programming and Combinatorial Optimization, pp. 87-99, Vol.13904, Lecture Notes in Computer Science, 2023 (preprint available as ) Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano BibTeX
DOI

On the implementation and strengthening of intersection cuts for QCQPs Mathematical Programming, Series B, 197(2), pp. 549-586, 2023 Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano BibTeX
DOI

Online Learning for Scheduling MIP Heuristics Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 114-123, Vol.13884, Lecture Notes in Computer Science, 2023 (preprint available as ) Antonia Chmiela, Ambros Gleixner, Pawel Lichocki, Sebastian Pokutta BibTeX
DOI
arXiv

Open problem: polynomial linearly-convergent method for g-convex optimization? Proceedings of Thirty Sixth Conference on Learning Theory, pp. 5950-5956, Vol.195, Proceedings of Machine Learning Research, 2023 Christopher Criscitiello, David Martínez-Rubio, Nicolas Boumal BibTeX
arXiv

PERP: Rethinking the Prune-Retrain Paradigm in the Era of LLMs 2023 Max Zimmer, Megi Andoni, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv

PaPILO: A Parallel Presolving Library for Integer and Linear Optimization with Multiprecision Support INFORMS Journal on Computing, 35(6), pp. 1329-1341, 2023 Ambros Gleixner, Leona Gottwald, Alexander Hoen BibTeX
DOI
arXiv

Principled Deep Neural Network Training Through Linear Programming Discrete Optimization, Vol.49, p. 100795, 2023 Daniel Bienstock, Gonzalo Muñoz, Sebastian Pokutta BibTeX
DOI
arXiv

Revisiting the Approximate Carathéodory Problem via the Frank-Wolfe Algorithm Mathematical Programming, Series A, 197(1), pp. 191-214, 2023 Cyrille Combettes, Sebastian Pokutta BibTeX
DOI
arXiv

Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework ZIB-Report 23-09 Leon Eifler, Ambros Gleixner PDF
BibTeX
URN
arXiv

Strengthening SONC Relaxations with Constraints Derived from Variable Bounds ZIB-Report 23-03 Ksenia Bestuzheva, Helena Völker, Ambros Gleixner PDF
BibTeX
URN
arXiv

The Rado Multiplicity Problem in Vector Spaces Over Finite Fields Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, EUROCOMB’23, pp. 784-789, 2023 Juanjo Rué Perna, Christoph Spiegel BibTeX
DOI
arXiv

To What Extent Can Individualisation in Terms of Different Types of Mode Improve Learning Outcomes and Learner Satisfaction? A Pre-study Proceedings of the 56th Hawaii International Conference on System Sciences, 2023 Jana Gonnermann-Müller, Bonny Brandenburger, Gergana Vladova, Norbert Gronau BibTeX
DOI

Using Multiple Reference Vectors and Objective Scaling in the Feasibility Pump EURO Journal on Computational Optimization, Vol.11, p. 100066, 2023 (preprint available as ) Gioni Mexi, Timo Berthold, Domenico Salvagnin BibTeX
URN
DOI

WaveTrain: a Python Package for Numerical Quantum Mechanics of Chain-like Systems Based on Tensor Trains The Journal of Chemical Physics, 158(16), p. 164801, 2023 Jerome Riedel, Patrick Gelß, Rupert Klein, Burkhard Schmidt BibTeX
DOI
arXiv

2022

A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture ACM Transactions on Mathematical Software, 48(2), 2022 (preprint available as ZIB-Report 21-35) Leon Eifler, Ambros Gleixner, Jonad Pulaj PDF (ZIB-Report)
BibTeX
DOI

A computational status update for exact rational mixed integer programming Mathematical Programming, 2022 Leon Eifler, Ambros Gleixner BibTeX
DOI

Accelerated Riemannian optimization: Handling constraints with a prox to bound geometric penalties Proceedings of Optimization for Machine Learning (NeurIPS Workshop OPT 2022), 2022 David Martínez-Rubio, Sebastian Pokutta BibTeX

Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices Parallel Computing, Vol.109, p. 102874, 2022 Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI

An Algorithm-independent Measure of Progress for Linear Constraint Propagation Constraints, Vol.27, pp. 432-455, 2022 Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI

Another note on intervals in the Hales-Jewett theorem Electronic Journal of Combinatorics, 29(1), p. P1.62, 2022 Nina Kamčev, Christoph Spiegel BibTeX
DOI

Conditional Gradients for the Approximately Vanishing Ideal Proceedings of The 25th International Conference on Artificial Intelligence and Statistics, pp. 2191-2209, Vol.151, PMLR, 2022 Elias Wirth, Sebastian Pokutta BibTeX

Fast Algorithms for Packing Proportional Fairness and its Dual Proceedings of the Conference on Neural Information Processing Systems, Vol.36, 2022 Francisco Criado, David Martínez-Rubio, Sebastian Pokutta BibTeX

FrankWolfe.jl: a high-performance and flexible toolbox for Frank-Wolfe algorithms and Conditional Gradients INFORMS Journal on Computing, 34(5), pp. 2383-2865, 2022 Mathieu Besançon, Alejandro Carderera, Sebastian Pokutta BibTeX
DOI

Interpretable Neural Networks with Frank-Wolfe: Sparse Relevance Maps and Relevance Orderings Proceedings of the International Conference on Machine Learning, 2022 Jan Macdonald, Mathieu Besançon, Sebastian Pokutta BibTeX

Interrogating the effect of enzyme kinetics on metabolism using differentiable constraint-based models Metabolic Engineering, 2022 St. Elmo Wilken, Mathieu Besançon, Miroslav Kratochvíl, Chilperic Armel Foko Kuate, Christophe Trefois, Wei Gu, Oliver Ebenhöh BibTeX

Low-Rank Tensor Decompositions of Quantum Circuits Journal of Computational Physics, 2022 (under review) Patrick Gelß, Stefan Klus, Sebastian Knebel, Zarin Shakibaei, Sebastian Pokutta BibTeX
arXiv

New Ramsey Multiplicity Bounds and Search Heuristics Discrete Mathematics Days, 2022 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX

On generalized surrogate duality in mixed-integer nonlinear programming Mathematical Programming, Series B, 192(1), pp. 89-118, 2022 Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano BibTeX
DOI

Optimization under Connected Uncertainty INFORMS Journal on Optimization, 4(3), pp. 326-346, 2022 Omid Nohadani, Kartikey Sharma BibTeX
DOI

Optimizing a low-dimensional convex function over a high-dimensional cub SIAM Journal on Optimization, 2022 Christoph Hunkenschröder, Sebastian Pokutta, Robert Weismantel BibTeX

Pairwise Conditional Gradients without Swap Steps and Sparser Kernel Herding Proceedings of the International Conference on Machine Learning, 2022 Kazuma Tsuji, Ken'ichiro Tanaka, Sebastian Pokutta BibTeX

Restarting Frank-Wolfe: Faster Rates under Hölderian Error Bounds Journal of Optimization Theory and Applications, 2022 Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta BibTeX

Solving the time-independent Schrödinger equation for chains of coupled excitons and phonons using tensor trains The Journal of Chemical Physics, 156(2), p. 024109, 2022 Patrick Gelß, Rupert Klein, Sebastian Matera, Burkhard Schmidt BibTeX
DOI
arXiv

Strengthening SONC Relaxations with Constraints Derived from Variable Bounds Proceedings of the Hungarian Global Optimization Workshop HUGO 2022, pp. 41-44, 2022 (preprint available as ZIB-Report 22-23) Ksenia Bestuzheva, Ambros Gleixner, Helena Völker PDF (ZIB-Report)
BibTeX
arXiv

The Machine Learning for Combinatorial Optimization Competition (ML4CO): results and insights Proceedings of Conference on Neural Information Processing Systems, 2022 Maxime Gasse, Simon Bowly, Quentin Cappart, Jonas Charfreitag, Laurent Charlin, Didier Chételat, Antonia Chmiela, Justin Dumouchelle, Ambros Gleixner, Aleksandr M. Kazachkov, Elias Khalil, Pawel Lichocki, Andrea Lodi, Miles Lubin, Chris J. Maddison, Christopher Morris, Dimitri J. Papageorgiou, Augustin Parjadis, Sebastian Pokutta, Antoine Prouvost, Lara Scavuzzo, Giulia Zarpellon, Linxin Yang, Sha Lai, Akang Wang, Xiaodong Luo, Xiang Zhou, Haohan Huang, Shengcheng Shao, Yuanming Zhu, Dong Zhang, Tao Quan, Zixuan Cao, Yang Xu, Zhewei Huang, Shuchang Zhou, Chen Binbin, He Minggui, Hao Hao, Zhang Zhiyu, An Zhiwu, Mao Kun BibTeX

Towards Sharing Brain Images: Differentially Private TOF-MRA Images with Segmentation Labels Using Generative Adversarial Networks Frontiers in Artificial Intelligence, 2022 Tabea Kossen, Manuel A. Hirzel, Vince I. Madai, Franziska Boenisch, Anja Hennemuth, Kristian Hildebrand, Sebastian Pokutta, Kartikey Sharma, Adam Hilbert, Jan Sobesky, Ivana Galinovic, Ahmed A. Khalil, Jochen B. Fiebach, Dietmar Frey BibTeX
DOI

Training Characteristic Functions with Reinforcement Learning: XAI-methods Play Connect Four Proceedings of the International Conference on Machine Learning, 2022 Stephan Wäldchen, Felix Huber, Sebastian Pokutta BibTeX

a framework for generalized Benders' decomposition and its applications to multilevel optimization Mathematical Programming, Series B, 2022 Suresh Bolusani, Ted K. Ralphs BibTeX

a variational inequality model for the construction of signals from inconsistent nonlinear equations SIAM Journal on Imaging Sciences, 2022 P. L. Combettes, Zev Woodstock BibTeX

block-activated algorithms for multicomponent fully nonsmooth minimization Proceedings of ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2022 Minh N. Bùi, Patrick L. Combettes, Zev Woodstock BibTeX

signal recovery from inconsistent nonlinear observations Proceedings of ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2022 P. L. Combettes, Zev Woodstock BibTeX

2021

A Computational Status Update for Exact Rational Mixed Integer Programming Integer Programming and Combinatorial Optimization: 22th International Conference, IPCO 2021, 2021 (preprint available as ZIB-Report 21-04) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI

An Algorithm-Independent Measure of Progress for Linear Constraint Propagation 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), pp. 52:1-52:17, Vol.210, Leibniz International Proceedings in Informatics (LIPIcs), 2021 (epub ahead of print) Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI

Complexity of near-optimal robust versions of multilevel optimization problems Optimization Letters, 15(8), pp. 2597-2610, 2021 Mathieu Besançon, Miguel F. Anjos, Luce Brotcorne BibTeX
DOI

Conflict Analysis for MINLP INFORMS Journal on Computing, 33(2), pp. 421-435, 2021 (preprint available as ) Jakob Witzig, Timo Berthold BibTeX
DOI

Efficient Online-Bandit Strategies for Minimax Learning Problems 2021 Christophe Roux, Sebastian Pokutta, Elias Wirth, Thomas Kerdreux BibTeX

Estimating the Size of Branch-And-Bound Trees INFORMS Journal on Computing, 2021 (preprint available as ) Gregor Hendel, Daniel Anderson, Pierre Le Bodic, Marc Pfetsch BibTeX
DOI

Incremental design of water symbiosis networks with prior knowledge: The case of an industrial park in Kenya Science of the Total Environment, Vol.751, 2021 Elham Ramin, Ksenia Bestuzheva, Carina Gargalo, Danial Ramin, Carina Schneider, Pedram Ramin, Xavier Flores-Alsina, Maj M. Andersen, Krist V. Gernaey BibTeX
DOI

Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search Constraints, Vol.26, pp. 26-55, 2021 Jo Devriendt, Ambros Gleixner, Jakob Nordström BibTeX
DOI

Learning to Schedule Heuristics in Branch and Bound Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 Antonia Chmiela, Elias B. Khalil, Ambros Gleixner, Andrea Lodi, Sebastian Pokutta BibTeX
arXiv

Learning to Use Local Cuts Master's thesis, Freie Universität Berlin, Timo Berthold, Ralf Borndörfer, Tim Conrad (Advisors), 2021 Matteo Francobaldi PDF
BibTeX

Linear Bandits on Uniformly Convex Sets Journal of Machine Learning Research, 22(284), pp. 1-23, 2021 Thomas Kerdreux, Christophe Roux, Alexandre d'Aspremont, Sebastian Pokutta BibTeX

Location, transshipment and routing: An adaptive transportation network integrating long-haul and local vehicle routing ZIB-Report 21-12 Junko Hosoda, Stephen J. Maher, Yuji Shinano, Jonas Christoffer Villumsen PDF
BibTeX
URN

MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library Mathematical Programming Computation, 13(3), pp. 443-490, 2021 Ambros Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp M. Christophel, Kati Jarck, Thorsten Koch, Jeff Linderoth, Marco Lübbecke, Hans Mittelmann, Derya Ozyurt, Ted Ralphs, Domenico Salvagnin, Yuji Shinano BibTeX
DOI

On the implementation and strengthening of intersection cuts for QCQPs Integer Programming and Combinatorial Optimization: 22nd International Conference, IPCO 2021, pp. 134-147, Vol.22, 2021 (preprint available as ) Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano PDF (ZIB-Report)
BibTeX
DOI

Parameter-free Locally Accelerated Conditional Gradients ICML 2021, 2021 Alejandro Carderera, Jelena Diakonikolas, Cheuk Yin Lin, Sebastian Pokutta BibTeX

Simple steps are all you need: Frank-Wolfe and generalized self-concordant functions Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 Alejandro Carderera, Mathieu Besançon, Sebastian Pokutta BibTeX

The SCIP Optimization Suite 8.0 ZIB-Report 21-41 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc E. Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig PDF
BibTeX
URN

Tight Convex Relaxations for the Expansion Planning Problem ZIB-Report 21-05 Ralf Lenz, Felipe Serrano PDF
BibTeX
URN

2020

Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices 2020 IEEE/ACM 10th Workshop on Irregular Applications: Architectures and Algorithms (IA3), pp. 1-11, 2020 Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
arXiv
DOI

An environment for sustainable research software in Germany and beyond: current state, open challenges, and call for action [version 1; peer review: 1 approved, 1 approved with reservations] F1000Research, 2020 H. Anzt, F. Bach, S. Druskat, F. Löffler, A. Loewe, B. Y. Renard, G. Seemann, A. Struck, E. Achhammer, F. Appell, M. Bader, L. Brusch, C. Busse, G. Chourdakis, P. W. Dabrowski, P. Ebert, B. Flemisch, S. Friedl, B. Fritzsch, M. D. Funk, V. Gast, F. Goth, J.-N. Grad, Sibylle Hermann, F. Hohmann, S. Janosch, D. Kutra, J. Linxweiler, T. Muth, Wolfgang Peters-Kottig, F. Rack, F. H. C. Raters, S. Rave, G. Reina, M. Reißig, T. Ropinski, J. Schaarschmidt, H. Seibold, J. P. Thiele, B. Uekermann, S. Unger, R. Weeber BibTeX
DOI

An exploratory computational analysis of dual degeneracy in mixed-integer programming EURO Journal on Computational Optimization, pp. 241-246, 2020 Gerald Gamrath, Timo Berthold, Domenico Salvagnin BibTeX
DOI

BEAM-ME: Accelerating Linear Energy Systems Models by a Massively Parallel Interior Point Method NIC Symposium 2020, pp. 345-352, Vol.50, NIC Series, 2020 Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Fred Fiand, Hans-Christian Gils, Ambros Gleixner, Dmitry Khabi, Nils Kempke, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel BibTeX

Boosting Frank-Wolfe by Chasing Gradients Proceedings of ICML, 2020 Cyrille W. Combettes, Sebastian Pokutta BibTeX
arXiv

Deep Neural Network Training with Frank-Wolfe 2020 Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
arXiv

IPBoost – Non-Convex Boosting via Integer Programming Proceedings of ICML, 2020 Marc Pfetsch, Sebastian Pokutta BibTeX
arXiv

Locally Accelerated Conditional Gradients Proceedings of AISTATS, 2020 Jelena Diakonikolas, Alejandro Carderera, Sebastian Pokutta BibTeX
arXiv

Massive Parallelization for Finding Shortest Lattice Vectors Based on Ubiquity Generator Framework 2020 SC20: International Conference for High Performance Computing, Networking, Storage and Analysis (SC), pp. 834-848, 2020 Yuji Shinano, N. Tateiwa, S. Nakamura, A. Yoshida, M. Yasuda, S. Kaji, K. Fujisawa BibTeX
DOI

Multiperiod Optimal Power Flow Problem In Distribution System Planning Master's thesis, Freie Universität Berlin, Ralf Borndörfer, Niels Lindner (Advisors), 2020 Jaap Pedersen BibTeX

On the Unreasonable Effectiveness of the Greedy Algorithm: Greedy Adapts to Sharpness Proceedings of ICML, 2020 Sebastian Pokutta, Mohit Singh, Alfredo Torrico BibTeX
arXiv

Projection-Free Adaptive Gradients for Large-Scale Optimization 2020 Combettes Cryille W., Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv

Projection-Free Optimization on Uniformly Convex Sets To Appear in Proceedings of AISTATS, 2020 Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta BibTeX

Restarting Algorithms: Sometimes there is Free Lunch Proceedings of CPAIOR, 2020 Sebastian Pokutta BibTeX
arXiv

Structured Robust Submodular Maximization: Offline and Online Algorithms INFORMS Journal on Computing, 2020 Alfredo Torrico, Mohit Singh, Sebastian Pokutta, Nika Haghtalab, Joseph (Seffi) Naor, Nima Anari BibTeX
arXiv

The confined primal integral: a measure to benchmark heuristic MINLP solvers against global MINLP solvers Mathematical Programming, 2020 Zsolt Csizmadia, Timo Berthold BibTeX
DOI

Two-row and two-column mixed-integer presolve using hashing-based pairing methods EURO Journal on Computational Optimization, 8(3-4), pp. 205-240, 2020 Patrick Gemander, Wei-Kun Chen, Dieter Weninger, Leona Gottwald, Ambros Gleixner BibTeX
DOI

Walking in the Shadow: A New Perspective on Descent Directions for Constrained Minimization Proceedings of NeurIPS, 2020 Hassan Mortagy, Swati Gupta, Sebastian Pokutta BibTeX
arXiv

2019

Model reduction by time aggregation for optimal design of energy supply systems by an MILP hierarchical branch and bound method Energy, Vol.181, pp. 782-792, 2019 Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui BibTeX
DOI

2018

An Online-Learning Approach to Inverse Optimization 2018 Andreas Bärmann, Alexander Martin, Sebastian Pokutta, Oskar Schneider BibTeX

Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081) Dagstuhl Reports, 8(2), pp. 64-87, 2018 Pierre Bonami, Ambros Gleixner, Jeff Linderoth, Ruth Misener BibTeX
DOI

Principled Deep Neural Network Training through Linear Programming 2018 Daniel Bienenstock, Gonzalo Muñoz, Sebastian Pokutta BibTeX