Subendhu Rongali
Subendhu Rongali
Home
News
Publications
Experience
Teaching
Projects
Contact
Resume
Emily First
Latest
Proof completion in the formal verification language - Coq
Influence Functions in Machine Learning Tasks
Cite
×