Amar Shah, Twain Byrnes, Joseph Reeves, Marijn J. H. Heule. October 2025. “Learning Short Clauses via Conditional Autarkies.” Formal Methods in Computer-Aided Design. PDF.
Twain Byrnes, Yoshiki Takashima, and Limin Jia. January 2024. “Automatically Enforcing Rust Trait Properties.” International Conference on Verification, Model Checking, and Abstract Interpretation. PDF. Presentation. Slides.
Byrnes, Twain. August 2025. "Escaping Isla Nublar: Coming around to LLMs for Formal Methods." galois.com.