Cayden R. Codel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | An End-To-End Verification of Keller's Conjecture. | James Gallicchio, Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
| 2026 | SAT | Simplify, Order, Break, Repeat. | Markus Anders, Cayden R. Codel, Marijn J. H. Heule |
| 2026 | TACAS | Orbitopal Fixing in SAT. | Markus Anders, Cayden R. Codel, Marijn J. H. Heule |
| 2025 | ITP | Algebra Is Half the Battle: Verifying Presentations of Graded Unipotent Chevalley Groups. | Eric Wang, Arohee Bhoja, Cayden R. Codel, Noah G. Singer |
| 2024 | FMCAD | Verified Substitution Redundancy Checking. | Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
| 2024 | FMCAD | Extending DRAT to SMT. | S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre |
| 2024 | ITP | Formal Verification of the Empty Hexagon Number. | Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule |
| 2024 | TACAS | TaSSAT: Transfer and Share SAT. | Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule |
| 2023 | FMCAD | Verified Encodings for SAT Solvers. | Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
| 2019 | IJCAI | MineRL: A Large-Scale Dataset of Minecraft Demonstrations. | William H. Guss, Brandon Houghton, Nicholay Topin, Phillip Wang, Cayden R. Codel, Manuela Veloso, Ruslan Salakhutdinov |