Cayden R. Codel

According to our database, Cayden R. Codel authored at least 15 papers between 2019 and 2026.

Collaborative distances:

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

2026

[TACAS 2026] Artifact for "Orbitopal Fixing in SAT".

Markus Anders, Cayden R. Codel, Marijn Heule

Dataset, January, 2026

Orbitopal Fixing in SAT.

Markus Anders, Cayden R. Codel, Marijn J. H. Heule

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

[TACAS 2026] Artifact for "Orbitopal Fixing in SAT".

Markus Anders, Cayden R. Codel, Marijn Heule

Dataset, December, 2025

[TACAS 2026] Artifact for "Orbitopal Fixing in SAT".

Markus Anders, Cayden R. Codel, Marijn Heule

Dataset, December, 2025

Algebra Is Half the Battle: Verifying Presentations of Graded Unipotent Chevalley Groups.

Eric Wang, Arohee Bhoja, Cayden R. Codel, Noah G. Singer

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

2024

EmptyHexagonLean.

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule

Dataset, November, 2024

TaSSAT: Transfer and Share SAT.

Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Formal Verification of the Empty Hexagon Number.

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Extending DRAT to SMT.

S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre

Proceedings of the Formal Methods in Computer-Aided Design, 2024

Verified Substitution Redundancy Checking.

Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

Artifact for TaSSAT: A Stochastic Local Search Solver for SAT.

Md. Solimul Chowdhury, Cayden R. Codel, Marijn Heule

Dataset, October, 2023

A Linear Weight Transfer Rule for Local Search.

Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Verified Encodings for SAT Solvers.

Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2019

The MineRL Competition on Sample Efficient Reinforcement Learning using Human Priors.

William H. Guss, Cayden R. Codel, Katja Hofmann, Brandon Houghton, Noburu Kuno, Stephanie Milani, Sharada P. Mohanty, Diego Perez Liebana, Ruslan Salakhutdinov, Nicholay Topin, Manuela Veloso, Phillip Wang

CoRR, 2019

MineRL: A Large-Scale Dataset of Minecraft Demonstrations.

William H. Guss, Brandon Houghton, Nicholay Topin, Phillip Wang, Cayden R. Codel, Manuela Veloso, Ruslan Salakhutdinov

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019