Publications: ICLR 2025 - Logical Consistency of Large Language Models in Fact-checking; AAAI - Active Fourier Auditor for Estimating Distributional Properties of ML Models.
Research Experience
Currently a postdoctoral researcher at Max Planck Institute for Software Systems, Germany, working with Krishna P. Gummadi.
Education
Ph.D. from the School of Computing, National University of Singapore (NUS), graduated on 30 September 2023, supervised by Prof. Kuldeep S. Meel; BSc. in Computer Science and Engineering from Bangladesh University of Engineering and Technology (BUET), graduated in September 2017, undergraduate thesis advised by Dr. Mohammed Eunus Ali.
Background
Research interests: At the intersection of machine learning and formal methods. Currently working on understanding the foundation of Large Language Models (LLMs), such as memorization and learning, through formal language learning.