Cayden R. Codel

14 papers A* 1B 5Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
Orbitopal Fixing in SAT.
TACAS (1)
Markus Anders, Cayden R. Codel, Marijn J. H. Heule
2026 J jnl
Orbitopal Fixing in SAT.
CoRR
Markus Anders, Cayden R. Codel, Marijn J. H. Heule
2025 B conf
Algebra Is Half the Battle: Verifying Presentations of Graded Unipotent Chevalley Groups.
ITP
Eric Wang, Arohee Bhoja, Cayden R. Codel, Noah G. Singer
2024 B conf
Extending DRAT to SMT.
FMCAD
S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre
2024 B conf
Formal Verification of the Empty Hexagon Number.
ITP
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
2024 J jnl
Formal Verification of the Empty Hexagon Number.
CoRR
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
2024 — conf
TaSSAT: Transfer and Share SAT.
TACAS (1)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
2024 B conf
Verified Substitution Redundancy Checking.
FMCAD
Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule
2023 — conf
A Linear Weight Transfer Rule for Local Search.
NFM
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
2023 J jnl
A Linear Weight Transfer Rule for Local Search.
CoRR
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
2023 B conf
Verified Encodings for SAT Solvers.
FMCAD
Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule
2019 A* conf
MineRL: A Large-Scale Dataset of Minecraft Demonstrations.
IJCAI
William H. Guss, Brandon Houghton, Nicholay Topin, Phillip Wang, Cayden R. Codel, Manuela Veloso, Ruslan Salakhutdinov
2019 J jnl
MineRL: A Large-Scale Dataset of Minecraft Demonstrations.
CoRR
William H. Guss, Brandon Houghton, Nicholay Topin, Phillip Wang, Cayden R. Codel, Manuela Veloso, Ruslan Salakhutdinov
2019 J jnl
The MineRL Competition on Sample Efficient Reinforcement Learning using Human Priors.
CoRR
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