Presentation Attack Detection with Advanced CNN Models for Noncontact-based Fingerprint Systems. - Sandip Purnapatra; Conor Miller-Lynch; Stephen Miner; Yu Liu 069; Keivan Bahmani; Soumyabrata Dey; Stephanie Schuckers (IWBF, 2023)

Complete Trigger Selection in Satisfiability Modulo First-Order Theories. - Christopher Lynch; Stephen Miner (SMT, 2023)

Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems. - Stephen Miner; Yoshiki Takashima; Simeng Han; Ferhat Erata; Timos Antonopoulos; Ruzica Piskac; Scott J. Shapiro (CoRR, 2024)