Meel Group

Meel Group

Computer Science Department, School of Computing

National University of Singapore

Interests

  • Artificial Intelligence
  • Constrained Sampling and Counting
  • Knowledge Representation and Reasoning
  • Formal Methods
  • Interpretable Models