Thinklab-SJTU/LinSATNet
Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".
PythonMIT
Issues
- 2
有关处理非负元素的问题
#6 opened by BeagleManMan - 2
error handling should be added when priority level is larger than the number of nodes - 1 in TSP-PRI
#5 opened by aki916 - 4
Marginal distributions are not matched
#3 opened by Yansa2000 - 0
RuntimeError: The size of tensor a (493) must match the size of tensor b (4) at non-singleton dimension 1
#4 opened by apolonazz - 3
the backtrace further above shows the operation that failed to compute its gradient
#2 opened by AlexAuthor7