Projects
Regatoni
A (good) fuzzer for LLVM IR.
CASA
Exact, efficient sampling for language models.
Germinator
An extensible grammar-based fuzzer for MLIR.
Dazai
Answer Set Programming for Murder Mysteries.
A (good) fuzzer for LLVM IR.
Exact, efficient sampling for language models.
An extensible grammar-based fuzzer for MLIR.
Answer Set Programming for Murder Mysteries.