Lohn, Evan

2 publications

NeurIPSW 2024 miniCodeProps: A Minimal Benchmark for Proving Code Properties Evan Lohn, Sean Welleck

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