5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.AI2023
Solving MaxSAT with Matrix Multiplication
David Warde-Farley, Vinod Nair, Yujia Li +3
We propose an incomplete algorithm for Maximum Satisfiability (MaxSAT) specifically designed to run on neural network accelerators such as GPUs and TPUs. Given a MaxSAT problem ins…
cs.LG2021★ 5 cited
Automap: Towards Ergonomic Automated Parallelism for ML Models
Michael Schaarschmidt, Dominik Grewe, Dimitrios Vytiniotis +8
The rapid rise in demand for training large neural network architectures has brought into focus the need for partitioning strategies, for example by using data, model, or pipeline…