research
∙
03/03/2023
Rotation Invariant Quantization for Model Compression
Post-training Neural Network (NN) model compression is an attractive app...
share
research
∙
12/20/2021
Demonstration Informed Specification Search
This paper considers the problem of learning history dependent task spec...
research
∙
07/07/2020
Learning Branching Heuristics for Propositional Model Counting
Propositional model counting or #SAT is the problem of computing the num...
research
∙
07/20/2018
