Search results

Bump actions/checkout from 6 to 7

dependenciesPull requests that update a dependency filePull requests that update a dependency file

github_actionsPull requests that update GitHub Actions codePull requests that update GitHub Actions code

Status: Open (in progress).

Gurobi/gurobi-machinelearningnumber 515

#515 In Gurobi/gurobi-machinelearning;

· dependabot opened on Jun 22, 2026

Very experimental add some way to get VNNLIB

Status: Open (in progress).

Gurobi/gurobi-machinelearningnumber 456

#456 In Gurobi/gurobi-machinelearning;

· pobonomo opened on Nov 11, 2025

CNN

Status: Open (in progress).

Gurobi/gurobi-machinelearningnumber 442

#442 In Gurobi/gurobi-machinelearning;

· pobonomo opened on Oct 6, 2025

New models for softmax

Models

Status: Open (in progress).

Gurobi/gurobi-machinelearningnumber 355

#355 In Gurobi/gurobi-machinelearning;

· pobonomo opened on Oct 22, 2024