research
∙
07/07/2023
QIGen: Generating Efficient Kernels for Quantized Inference on Large Language Models
We present ongoing work on a new automatic code generation approach for ...
share
research
∙
05/25/2023
Learning DAGs from Data with Few Root Causes
We present a novel perspective and algorithm for learning directed acycl...
research
∙
11/24/2022
Fast Möbius and Zeta Transforms
Möbius inversion of functions on partially ordered sets (posets) 𝒫 is a ...
research
∙
09/16/2022
Causal Fourier Analysis on Directed Acyclic Graphs and Posets
We present a novel form of Fourier analysis, and associated signal proce...
research
∙
03/05/2021
Precise Multi-Neuron Abstractions for Neural Network Certification
Formal verification of neural networks is critical for their safe adopti...
research
∙
12/08/2020
Discrete Signal Processing on Meet/Join Lattices
A lattice is a partially ordered set supporting a meet (or join) operati...
research
∙
10/01/2020
Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases
Many applications of machine learning on discrete domains, such as learn...
research
∙
09/22/2020
Fourier Analysis-based Iterative Combinatorial Auctions
Recent advances in Fourier analysis have brought new tools to efficientl...
research
∙
07/20/2020
Neural Network Robustness Verification on GPUs
Certifying the robustness of neural networks against adversarial attacks...
research
∙
05/19/2020
Digraph Signal Processing with Generalized Boundary Conditions
Signal processing on directed graphs (digraphs) is problematic, since th...
research
∙
01/28/2020
Discrete Signal Processing with Set Functions
Set functions are functions (or signals) indexed by the power set (set o...
research
∙
09/05/2019
Powerset Convolutional Neural Networks
We present a novel class of convolutional neural networks (CNNs) for set...
research
∙
06/20/2019
Program Generation for Linear Algebra Using Multiple Layers of DSLs
Numerical software in computational science and engineering often relies...
research
∙
05/02/2019
On Linear Learning with Manycore Processors
A new generation of manycore processors is on the rise that offers dozen...
research
∙
10/22/2017