MineRL: A Large-Scale Dataset of Minecraft Demonstrations. - William H. Guss; Brandon Houghton; Nicholay Topin; Phillip Wang; Cayden R. Codel; Manuela Veloso; Ruslan Salakhutdinov (IJCAI, 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)

Verified Encodings for SAT Solvers. - Cayden R. Codel; Jeremy Avigad; Marijn J. H. Heule (FMCAD, 2023)

A Linear Weight Transfer Rule for Local Search. - Md. Solimul Chowdhury; Cayden R. Codel; Marijn J. H. Heule (NFM, 2023)

Artifact for TaSSAT: A Stochastic Local Search Solver for SAT. - Md. Solimul Chowdhury; Cayden R. Codel; Marijn Heule (Zenodo, 2023)

Verified Substitution Redundancy Checking. - Cayden R. Codel; Jeremy Avigad; Marijn J. H. Heule (FMCAD, 2024)

Extending DRAT to SMT. - S. Hitarth; Cayden R. Codel; Hanna Lachnitt; Bruno Dutertre (FMCAD, 2024)

Formal Verification of the Empty Hexagon Number. - Bernardo Subercaseaux; Wojciech Nawrocki; James Gallicchio; Cayden R. Codel; Mario Carneiro; Marijn J. H. Heule (ITP, 2024)

TaSSAT: Transfer and Share SAT. - Md. Solimul Chowdhury; Cayden R. Codel; Marijn J. H. Heule (TACAS (1), 2024)

EmptyHexagonLean. - Bernardo Subercaseaux; Wojciech Nawrocki; James Gallicchio; Cayden R. Codel; Mario Carneiro; Marijn J. H. Heule (DROPS Artifacts, 2024)