Dennis Y. Zvigelsky

According to our database, Dennis Y. Zvigelsky authored at least 3 papers between 2023 and 2026.

Collaborative distances:

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

2026

Certifiable Boolean Reasoning Is Universal.

Wenhao Li, Anastasis Kratsios, Hrad Ghoukasian, Dennis Y. Zvigelsky

CoRR, February, 2026

2025

Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms.

Anastasis Kratsios, Dennis Y. Zvigelsky, Bradd Hart

CoRR, August, 2025

2023

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory.

William M. Farmer, Dennis Y. Zvigelsky

CoRR, 2023