IOL Lab

Working on optimization and learning at the intersection of mathematics and computer science

Overview
Repositories
Projects
Packages
People

README.md

We are the IOL Lab at the Zuse Institute and Technische Universität Berlin. We work at the intersection of mathematics and computer science research focus is on Artificial Intelligence, Optimization, and Machine Learning. Here you will find software repositories relating to our research, in particular actively maintained Julia and Python packages, especially the Frank-Wolfe.jl and the Boscia.jl package.

Pinned Loading

FrankWolfe.jl FrankWolfe.jl Public

Julia implementation for various Frank-Wolfe and Conditional Gradient variants

Julia 116 29
Boscia.jl Boscia.jl Public

Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations

Julia 45 8
BellPolytopes.jl BellPolytopes.jl Public

Bell inequalities and local models via Frank-Wolfe algorithms

Julia 7 2

Repositories

Type Language Sort

OptimalDesignWithBoscia Public
Solving the Exact Optimal Experiment Design Problem using the convex mixed-integer solver Boscia.jl

ZIB-IOL/OptimalDesignWithBoscia's past year of commit activity

Julia 0 1 0 0 Updated Aug 28, 2026
Boscia.jl Public
Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations

ZIB-IOL/Boscia.jl's past year of commit activity

Julia 45 MIT 8 17 7 Updated Aug 19, 2026
CombinatorialLinearOracles.jl Public
Linear Minimization Oracles for Combinatorial Problems

ZIB-IOL/CombinatorialLinearOracles.jl's past year of commit activity

Julia 4 MIT 2 1 2 Updated Aug 5, 2026
zib-iol.github.io Public
IOL Lab — Interactive Optimization & Learning at ZIB and TU Berlin

ZIB-IOL/zib-iol.github.io's past year of commit activity

HTML 0 0 0 0 Updated Aug 3, 2026
Neural-Concept-Verifier-NCB Public
Neural Concept Binder (CLEVR-Hans3) experiments for Neural Concept Verifier (ICML Spotlight 2026), companion to ZIB-IOL/Neural-Concept-Verifier

ZIB-IOL/Neural-Concept-Verifier-NCB's past year of commit activity

Python 0 0 0 0 Updated Jul 23, 2026
Neural-Concept-Verifier Public
Official implementation of "Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings" (ICML Spotlight 2026).

ZIB-IOL/Neural-Concept-Verifier's past year of commit activity

Python 1 MIT 0 0 0 Updated Jul 23, 2026
FrankWolfe.jl Public
Julia implementation for various Frank-Wolfe and Conditional Gradient variants

ZIB-IOL/FrankWolfe.jl's past year of commit activity

Julia 116 MIT 29 22 (1 issue needs help) 11 Updated Jul 21, 2026
EntanglementDetection.jl Public
Separability decomposition and entanglement detection via Frank-Wolfe algorithms

ZIB-IOL/EntanglementDetection.jl's past year of commit activity

Julia 3 MIT 1 0 1 Updated Jul 1, 2026
lh-nef Public
Official implementation of "Neural Field Tokenizations with Hierarchy and Spatial Locality Priors"

ZIB-IOL/lh-nef's past year of commit activity

Python 0 0 0 0 Updated Jun 29, 2026
BellPolytopes.jl Public
Bell inequalities and local models via Frank-Wolfe algorithms

ZIB-IOL/BellPolytopes.jl's past year of commit activity

Julia 7 MIT 2 0 0 Updated Jun 25, 2026