Chase Norman

According to our database, Chase Norman authored at least 8 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Implementing Dependent Type Theory Inhabitation and Unification.

Chase Norman, Jeremy Avigad

CoRR, March, 2026

Stable Voting and the Splitting of Cycles.

Wesley H. Holliday, Milan Mossé, Chase Norman, Eric Pacuit, Cynthia Wang

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

CanonicalLean.

Chase Norman

Dataset, September, 2025

Canonical.

Chase Norman

Dataset, September, 2025

Canonical for Automated Theorem Proving in Lean.

Chase Norman, Jeremy Avigad

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2023

Program Synthesis in Saturation.

Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov

Proceedings of the Automated Deduction - CADE 29, 2023

PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency.

Chase Norman, Adwait Godbole, Yatin A. Manerkar

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021

Voting Theory in the Lean Theorem Prover.

Wesley H. Holliday, Chase Norman, Eric Pacuit

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021