Published multiple papers including 'Zero-Shot Attribution for Large Language Models: A Distribution Testing Approach', 'Learning Probabilistic Temporal Logic Specifications for Stochastic Systems', etc., covering areas such as distribution testing and combinatorial solving.
Research Experience
Currently a Research Fellow (postdoc) at the National University of Singapore, advised by Jonathan Scarlett.
Education
Ph.D.: National University of Singapore, advised by Kuldeep S. Meel; B.Tech.: Indian Institute of Technology Guwahati, in Computer Science and Engineering.
Background
Research interests: probabilistic formal methods, distribution testing, and the use of combinatorial solving in machine learning. Professional field: Computer Science and Engineering.