November 20, 2025
TCG CREST’s Ph.D. student at IAI, Arijit Shaw and his collaborators have won the Marco Cadoli Best Student Paper Award at the International Conference on Principles of Knowledge Representation and Reasoning (KR) 2025.
KR is the premier forum for research on symbolic knowledge representation and reasoning, within AI and beyond. The conference was held in November this year in Melbourne, Australia.
Arijit, along with PhD student Uddalok Sarkar from ISI Kolkata, and Professor Kuldeep S. Meel from Georgia Institute of Technology presented their paper Efficient Volume Computation for SMT Formulas at the conference.
In the paper, the team presented an efficient algorithm for quantitative reasoning for SMT formulas, a class of logical formulas very useful for verification and rigorous analysis of systems. The proposed work is not just a strong empirical improvement, but is also backed by theoretical guarantees, making the work a compelling contribution in the domain
