Cayden R. Codel

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

Collaborative distances:

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

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

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