Thinklab-SJTU/LinSATNet
Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".
PythonMIT
Stargazers
- altriasjy31m78
- anhtuan85HUST
- beginner1997Southeast University
- boyin96
- caoql98NWPU -> SJTU
- ChambinLee
- chensjtu
- confiwentShanghai Jiao Tong University
- crack521
- fly51flyPRIS
- HideousmonShanghai Jiao Tong University
- hygengSJTU
- ioriiod0
- JeffCarpenterCanada
- jiaxiaosong1002Shanghai Jiao Tong University
- jingle
- jobeid1Spear AI
- LeonSheAcceed
- littledeepthinkOcean University of China
- llcingUCAS
- machoshiShanghai Jiao Tong University
- menxiaAlibaba
- metab0tHefei University of Technology
- PamphlettNanyang Technological University
- pilgrimygyNanjing University
- rogerwwwwCambridge, MA
- SamGalanakisGEDiCube
- sataharuko
- tianyyiii
- xiabc612
- yangco-leShanghai Jiao Tong University
- yangnianzu0515Shanghai Jiao Tong University
- Yansa2000
- YunhaoZhang-MarsShanghai Jiao Tong University
- ZiruiOu
- zsl1314521664