#
oopsla
Here are 4 public repositories matching this topic...
SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
python deep-learning linear-programming milp oopsla formal-verification artifact-evaluation neural-network-verification
-
Updated
Apr 13, 2026 - Python
Notes and presentations for SPLASH 2026 (Oct 3-9, Oakland CA)
-
Updated
Jan 2, 2026
Update version for [OOPSLA 2018 Artifact] Julia subtyping: a rational reconstruction
-
Updated
Jan 30, 2026 - Julia
Add this topic to your repo
To associate your repository with the oopsla topic, visit your repo's landing page and select "manage topics."