Yash Pote
Scholar

Yash Pote

Google Scholar ID: P3JTPycAAAAJ
National University of Singapore
AIConstraint SolversSAT Solvers.
Citations & Impact
All-time
Citations
97
 
H-index
6
 
i10-index
6
 
Publications
13
 
Co-authors
7
list available
Resume (English only)
Academic Achievements
  • 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.
Miscellany
  • Email: yashppote@gmail.com