🀄
AI is Abstract Interpretation ONLY!
-
University of Luxembourg
- Esch sur Alzette, Luxembourg
- https://ytsao.github.io/
- https://orcid.org/0009-0001-4488-0236
Highlights
- Pro
Pinned Loading
-
Integer-L-shaped-method
Integer-L-shaped-method PublicImplement integer-L-shaped method for solving two-stage stochastic programming
-
-
mip-vnn
mip-vnn Publicimplement a mixed-integer programming model for verifying feedforward neural networks
Python
-
machine-learning-models
machine-learning-models PublicA practice for building machine learning models by jax and pytorch
Python
-
ptal/lattice-theory-parallel-programming-uni.lu
ptal/lattice-theory-parallel-programming-uni.lu PublicExercise for the course Lattice Theory for Parallel Programming @University of Luxembourg
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.