33 citations · 33 across the 2 of their papers we have counts for
2 papers
cs.LG2024
AcceleratedLiNGAM: Learning Causal DAGs at the speed of GPUs
Victor Akinwande, J. Zico Kolter
Existing causal discovery methods based on combinatorial optimization or search are slow, prohibiting their application on large-scale datasets. In response, more recent methods at…
cs.LG2022★ 33 cited
General Cutting Planes for Bound-Propagation-Based Neural Network Verification
Huan Zhang, Shiqi Wang, Kaidi Xu +5
Bound propagation methods, when combined with branch and bound, are among the most effective methods to formally verify properties of deep neural networks such as correctness, robu…