Search papers, labs, and topics across Lattice.
School of Computing and Augmented Intelligence Arizona State University University
2
0
3
PeTeR can transform pre-trained probabilistic circuits into robust models without retraining, outperforming conventional methods in challenging scenarios.
CNF formulas with treewidth *k* can be represented by Tree Decision Diagrams (TDDs) with FPT size, something provably impossible for OBDDs.
