Compression with Flows via Local Bits-Back Coding. - Jonathan Ho; Evan Lohn; Pieter Abbeel (NeurIPS, 2019)

Compact Symmetry Breaking for Tournaments. - Evan Lohn; Chris Lambert; Marijn J. H. Heule (FMCAD, 2022)

miniCodeProps: a Minimal Benchmark for Proving Code Properties. - Evan Lohn; Sean Welleck (CoRR, 2024)