Chase Norman

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Automated Deduction

Boolean Algebra

First Order Logic

Top Venues

Publications

Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov
Program Synthesis in Saturation. CoRR (2024)
Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov
Program Synthesis in Saturation. CADE (2023)
Chase Norman, Adwait Godbole, Yatin A. Manerkar
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency. ASPLOS (3) (2023)
Wesley H. Holliday, Chase Norman, Eric Pacuit
Voting Theory in the Lean Theorem Prover. CoRR (2021)
Wesley H. Holliday, Chase Norman, Eric Pacuit
Voting Theory in the Lean Theorem Prover. LORI (2021)