Tr$^2$AIL: Trust and Transparency in AI through Logic


The Tr$^2$AIL research group is led by Prof. Somak Aditya. The long-term goal of the lab is to achieve transparent Human-aware AI systems through Logic and Reasoning. We want the AI systems to be able to reason-in-the-wild and do so transparently for the end-users with whom it is expected to interact. Technically, we will work on the fundamental challenges faced by current neural and probabilistic logical systems in achieving such properties. I am fortunate to be working with a group of passionate student reserachers.
img
NEW!!! (Oct 2022): I am looking for a motivated BTech student (IIT KGP CS preferably), very proficient in coding to work with us in a multi-university collaboration on "Spatio-Temporal Reasoning in Vision and Language" with U.Utah, IIIT-H, and industrial partners.
I am looking for motivated Ph.D students who are interested in pursuing their thesis in the exciting juncture of classical and statistical AI (often dubbed as neuro-symbolic methods). For prospective students, please see answers to FAQs below (to be updated).
Prof. Animesh Mukherjee and I are actively looking for a full-time joint PhD student to work on multi-lingual multi-modal representation and reasoning. The student is expected to start with us by Autumn 2022. Please apply though here, and send me an email.

FAQs for Propsective Students

  1. What are the projects that you will be working on?
    Here are some broad questions that we are interested in:
    • How do we reason transparently? What does it mean to reason transparently?
    • How do we reason with noisy and incomplete knowledge sources? Can we utilize semi-structured (or more natural) forms of knowledge representation?
    • How do we elicit missing knowledge?
    • How can human-in-the-loop help?

    See the project page and publications to see how solving such technical challenges may affect a range of applications – from NLP, Vision, to automated mathematical reasoning.

  2. Is my expertise right for your lab?
    I am happy to welcome students with diverse expertise, ideas and background. But, based on my experience, following expertise seem absolutely essential. First, coding expertise (python mostly) and scripting knowledge (shell script, R is a plus). Being able to figure out your way through installation issues, knowledge about Git, shell scripting, and basic idea about GPUs are important. If you are an IIT-KGP student, make sure you have obtained A or above in PDS theory and Lab. Share a link to your Git repositories. Participation in popular open-source projects is a plus.

    Secondly, even if you are not familiar with ML, in-depth understanding of Algorithms, Probability and statistics is important. Knowledge of Logic, ML, DL, traditional NLP (parsing, POS tagging, chunking etc.), linguistics, or traditional image processing is a huge plus.

  3. How do I contact you?
    If you are an IIT KGP student, please send an inquiry to my email. Kindly mention which program you are enrolled in. If you are not a KGP student, kindly visit the IIT Kharagpur website to see how to enroll in the Ph.D or Masters program.

    I plan to take 1 or 2 external students who shows proven depth in at least one of the axes (linguistics/ML/DL/CV) through Publications/Courses/olympiads as interns (for one or two semesters). Feel free to email me if that interests you, and you fit the profile.