Shivashish Jaishy

Papers

Total Citations

H-Index

About

Shivashish Jaishy is a researcher whose work sits at the intersection of formal verification and artificial intelligence, exploring how automated reasoning can augment human problem-solving. His most cited paper, "Problem Solving with Interactive-Theorem Proving - A Case Study" (2016), investigates the potential of combining interactive theorem proving with AI to tackle complex, previously intractable problems. This work, part of a broader Japanese research initiative, demonstrates how AI systems can extract useful knowledge from vast datasets and assist human provers in solving difficult mathematical and logical challenges. While his citation count is modest—with 2 citations for this key paper—Jaishy’s contribution lies in pioneering the integration of interactive proof assistants with machine learning, a field that has since grown significantly. His research highlights the practical synergy between human expertise and automated reasoning, offering a glimpse into how future AI systems might collaborate with mathematicians and computer scientists. For students and researchers interested in the future of theorem proving and AI-assisted discovery, Jaishy’s work provides a foundational case study in bridging formal methods with emerging AI capabilities.