Repositories list

• FrankWolfe.jl

  Public
  Julia implementation for various Frank-Wolfe and Conditional Gradient variants

  optimizationjuliahacktoberfest+ 4

  optimizationjuliahacktoberfestoptimization-algorithmsfirst-order-methodsfrank-wolfeconditional-gradients

  Julia

  •

  MIT License

  •2929 forks•117117 stars•2121 issues•1010 pull requests•Updated Sep 8, 2026Sep 8, 2026

• Boscia.jl

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

  optimizationjulianonlinear-optimization+ 4

  optimizationjulianonlinear-optimizationoptimization-algorithmsmixed-integer-programmingfirst-order-methodsfrank-wolfe

  Julia

  •

  MIT License

  •88 forks•4545 stars•1717 issues•66 pull requests•Updated Sep 3, 2026Sep 3, 2026

• OptimalDesignWithBoscia

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

  Julia

  •11 fork•00 stars•00 issues•00 pull requests•Updated Sep 1, 2026Sep 1, 2026

• CombinatorialLinearOracles.jl

  Public
  Linear Minimization Oracles for Combinatorial Problems

  Julia

  •

  MIT License

  •22 forks•55 stars•11 issue•22 pull requests•Updated Aug 5, 2026Aug 5, 2026

• zib-iol.github.io

  Public
  IOL Lab — Interactive Optimization & Learning at ZIB and TU Berlin

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 3, 2026Aug 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

  Python

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 23, 2026Jul 23, 2026

• Neural-Concept-Verifier

  Public
  Official implementation of "Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings" (ICML Spotlight 2026).

  Python

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 23, 2026Jul 23, 2026

• EntanglementDetection.jl

  Public
  Separability decomposition and entanglement detection via Frank-Wolfe algorithms

  Julia

  •

  MIT License

  •11 fork•33 stars•00 issues•11 pull request•Updated Jul 1, 2026Jul 1, 2026

• lh-nef

  Public
  Official implementation of "Neural Field Tokenizations with Hierarchy and Spatial Locality Priors"

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 29, 2026Jun 29, 2026

• BellPolytopes.jl

  Public
  Bell inequalities and local models via Frank-Wolfe algorithms

  frank-wolfelocal-modelsbell-inequalities+ 3

  frank-wolfelocal-modelsbell-inequalitiesconditional-gradientslocal-polytopenonlocality

  Julia

  •

  MIT License

  •22 forks•77 stars•00 issues•00 pull requests•Updated Jun 25, 2026Jun 25, 2026

• The-Agentic-Researcher

  Public
  A practical framework for AI-Assisted Research in Mathematics and Machine Learning

  machine-learningdeep-learningopencode+ 5

  machine-learningdeep-learningopencodemathematicsgemini-cliagentic-aiclaude-codecodex-cli

  Shell

  •

  MIT License

  •1515 forks•9595 stars•11 issue•11 pull request•Updated Jun 12, 2026Jun 12, 2026

• EvoReplay

  Public
  EvoReplay: analysis suite for "What Do Evolutionary Coding Agents Evolve?"

  evolutionary-algorithmsagentsllms

  evolutionary-algorithmsagentsllms

  Python

  •

  Apache License 2.0

  •00 forks•55 stars•00 issues•00 pull requests•Updated May 20, 2026May 20, 2026

• Free-Lunch-in-LLM-Compression

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 6, 2026May 6, 2026

• AbsSmoothFrankWolfe.jl

  Public
  Algorithm for nonsmooth optimization

  Julia

  •

  MIT License

  •00 forks•66 stars•00 issues•00 pull requests•Updated Apr 29, 2026Apr 29, 2026

• polytof

  Public
  Phase-polynomial tensor decomposition (in 𝔽₂) for non-Clifford gate minimization in quantum circuits.

  C++

  •

  MIT License

  •11 fork•77 stars•00 issues•00 pull requests•Updated Mar 24, 2026Mar 24, 2026

• OracleBorderBasis

  Public
  Code for reproducing the experiments of the NeurIPS 2025 paper "Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms"

  Jupyter Notebook

  •11 fork•00 stars•00 issues•00 pull requests•Updated Mar 4, 2026Mar 4, 2026

• Neural-Sum-of-Squares

  Public
  Code for reproducing the experiments in the ICLR 2026 paper "Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers"

  optimizationtransformersum-of-squares

  optimizationtransformersum-of-squares

  Python

  •11 fork•44 stars•00 issues•00 pull requests•Updated Mar 2, 2026Mar 2, 2026

• recon

  Public
  Official implementation for ICLR'26 paper: "RECON: Robust symmetry discovery via Explicit Canonical Orientation Normalization".

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 2, 2026Mar 2, 2026

• FW-lower-bound-for-strongly-convex-sets

  Public
  Julia

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 13, 2026Feb 13, 2026

• BitRoundingAlmostSymmetries

  Public
  Experimental data and instances for the paper: "Objective Coefficient Rounding and Almost Symmetries in Binary Programs"

  optimizationsymmetry-detectioncoefficient-rounding

  optimizationsymmetry-detectioncoefficient-rounding

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 16, 2025Dec 16, 2025

• SparseSwaps

  Public
  00 forks•11 star•00 issues•00 pull requests•Updated Dec 3, 2025Dec 3, 2025

• Benchmarks_for_FrankWolfe_and_Boscia

  Public
  Benchmarks for the FrankWolfe.jl and Boscia.jl packages

  Julia

  •00 forks•00 stars•11 issue•00 pull requests•Updated Oct 28, 2025Oct 28, 2025

• TensorOpt4Entanglement

  Public
  Julia

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 20, 2025Oct 20, 2025

• SMS

  Public
  Code to reproduce the experiments of the ICLR24-paper: "Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging"

  sparsitydeep-learningneural-network+ 4

  sparsitydeep-learningneural-networkoptimizationpytorchpruningaveraging

  Python

  •11 fork•1212 stars•00 issues•00 pull requests•Updated Oct 14, 2025Oct 14, 2025

• approximating-neural-network-manifolds

  Public
  Code for the paper "Approximating Latent Manifolds in Neural Networks via Vanishing Ideals"

  learningalgebramanifolds

  learningalgebramanifolds

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 14, 2025Oct 14, 2025

• frankwolfe-py

  Public
  Python

  •

  Apache License 2.0

  •00 forks•11 star•11 issue•00 pull requests•Updated Oct 10, 2025Oct 10, 2025

• neural-discovery-icml25

  Public
  Code to reproduce the experiments of the ICML25-paper: "Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?"

  deep-learningneural-networksai4science+ 1

  deep-learningneural-networksai4scienceai4math

  Python

  •11 fork•66 stars•00 issues•00 pull requests•Updated Jun 6, 2025Jun 6, 2025

• PERP

  Public
  Code to reproduce the experiments of the paper: "PERP: Rethinking the Prune-Retrain Paradigm in the ERA of LLMs"

  sparsitydeep-learningneural-network+ 5

  sparsitydeep-learningneural-networkefficiencypytorchpruningfinetuningllms

  Python

  •00 forks•00 stars•11 issue•00 pull requests•Updated Mar 22, 2025Mar 22, 2025

• FedDistill

  Public
  Code to reproduce the experiments of the ICLR25 paper "On the Byzantine-Resilience of Distillation-Based Federated Learning"

  deep-learningpytorchneural-networks+ 3

  deep-learningpytorchneural-networksknowledge-distillationbyzantinefederated-learning

  Python

  •22 forks•88 stars•00 issues•00 pull requests•Updated Mar 15, 2025Mar 15, 2025

• pivoting_frankwolfe

  Public
  Julia

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 25, 2024Sep 25, 2024