Sumanth Dathathri
About
Sumanth Dathathri has authored 10 papers that have received a total of 105 indexed citations.
This includes 9 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and Natural Language Processing Techniques (2 papers). Sumanth Dathathri is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and Natural Language Processing Techniques (2 papers) and collaborates with scholars based in United States, India and Hong Kong. Sumanth Dathathri's co-authors include Richard M. Murray, Pushmeet Kohli, Jonathan Uesato, Scott C. Livingston and Jacob Steinhardt and has published in prestigious journals such as International Communications in Heat and Mass Transfer.
In The Last Decade
side by side view
Countries citing papers authored by Sumanth Dathathri
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Madhavi Kale Breakdown of academic impact, for papers by L. W. B. Brockliss Breakdown of academic impact, for papers by Dylan Herman Breakdown of academic impact, for papers by Margaret Bowker Breakdown of academic impact, for papers by Marcial Garmendia‐Cedillos Breakdown of academic impact, for papers by Michele Mitchell Breakdown of academic impact, for papers by Marsha Silverberg Breakdown of academic impact, for papers by Jianyu Wang