Evan Lohn

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Compression Standards

Symmetry Breaking

Top Venues

Publications

Evan Lohn, Sean Welleck
miniCodeProps: a Minimal Benchmark for Proving Code Properties. CoRR (2024)
Evan Lohn, Chris Lambert, Marijn J. H. Heule
Compact Symmetry Breaking for Tournaments. FMCAD (2022)
Jonathan Ho, Evan Lohn, Pieter Abbeel
Compression with Flows via Local Bits-Back Coding. NeurIPS (2019)
Jonathan Ho, Evan Lohn, Pieter Abbeel
Compression with Flows via Local Bits-Back Coding. CoRR (2019)