Stephen Miner

According to our database, Stephen Miner authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

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

2023

Complete Trigger Selection in Satisfiability Modulo First-Order Theories.

Christopher Lynch, Stephen Miner

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

Presentation Attack Detection with Advanced CNN Models for Noncontact-based Fingerprint Systems.

Sandip Purnapatra, Conor Miller-Lynch, Stephen Miner, Yu Liu, Keivan Bahmani, Soumyabrata Dey, Stephanie Schuckers

Proceedings of the 11th International Workshop on Biometrics and Forensics, 2023