Research Chair Data Science for Combinatorial Game Theory
Code for research projects within the FRQ–IVADO Research Chair Data Science for Combinatorial Game Theory
Popular repositories
-
mip-for-ann
mip-for-ann PublicOfficial PyTorch and CVXPY implementation of Identifying Critical Neurons in ANN Architectures using Mixed Integer Programming
Python 1
-
MIP-Representation-for-SPFG
MIP-Representation-for-SPFG PublicThis repository contains code to represent and solve SPFGs using a compact MIP-representation
Python
Repositories
Showing 2 of 2 repositories
- MIP-Representation-for-SPFG Public
This repository contains code to represent and solve SPFGs using a compact MIP-representation
- mip-for-ann Public
Official PyTorch and CVXPY implementation of Identifying Critical Neurons in ANN Architectures using Mixed Integer Programming