Name Card

Full name Familienname, Vorname
Raghothaman, Mukund
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Xia-2025-Guiding Likely Invariant Synthesis on Distributed Systems with L...-vor.pdf.jpgXia, Yuan ; Pingle, Aabja Shailesh ; Sur, Deepayan ; ravi, srivatsan ; Raghothaman, Mukund ; Deshmukh, Jyotirmoy V. Guiding Likely Invariant Synthesis on Distributed Systems with Large Language ModelsInproceedings Konferenzbeitrag 2025
2Nazari-2025-How Does my Circuit Work Local Explanations for the Behavior ...-vor.pdf.jpgNazari, Amirmohammad ; Amini, Matin ; Raghothaman, Mukund “How Does my Circuit Work?”: Local Explanations for the Behavior of Sequential CircuitsInproceedings Konferenzbeitrag 2025