Loading news…

Tr2AIL

Trust & Transparency in AI through Logic

Led by Prof. Somak Aditya at IIT Kharagpur, our research group bridges the gap between neural learning and symbolic reasoning. We aim to build AI systems that can reason-in-the-wild transparently, making them robust, interpretable, and human-aware.

Supported by Microsoft, Rakuten, Toloka AI, SERB DST, and AI4CPS.

PhD positions open
Our Research Publications

Research Team

View all Members

Selected Publications

View all Publications

Grant Support

We are grateful for the generous support from our academic and industry partners.

For Prospective Students

What projects will I work on?

Key Research Questions:

  • How do we reason transparently? What does it mean to reason transparently?
  • What are the complimentary reasoning abilities of neural and symbolic logical methods?
  • How do we reason with noisy/incomplete knowledge sources?
  • How do we elicit missing knowledge with Human-in-the-loop?
Is my expertise right for this lab?

Essential Skills

  • Python & Shell Scripting
  • Git & Basic GPU knowledge
  • Algorithms, Probability & Statistics
  • IIT KGP Students: A in PDS Theory/Lab

Desirable Bonus

  • Logic & Formal Methods
  • Deep Learning / Machine Learning
  • Traditional NLP/Linguistics
  • Open Source Contributions
How do I apply?

IIT KGP Students: Email Prof. Aditya with your program details.

PhD/MS Applicants: Apply via the official IIT Kharagpur admission portal.

Internships: Open to 1-2 exceptional external students with proven publication/coding track record.