Saumyaa Krishnan is an author at Northeastern University specializing in automated reasoning, verification, and computer science.
Top concepts
EngineeringData ScienceVerificationComputer ScienceAutomated ReasoningArtificial IntelligenceAutomationEpistemologyExplainable AiIntelligent Systems
Publications per year
2018–2018
2
2
An Nguyen, Aditya Kharosekar, Saumyaa Krishnan et al. · 2018 · 103 citations
Rows per page
1–2 of 2