IAIRO WIKI

Publications

All IAIRO publications — browse grouped by research project, or in one reverse-chronological timeline.

Project MEDHA — Mathematical Engine for Domain-specific Higher-order Autoformalisation

Formal Methods & Verifiable AI · 2026 - Present

2026

Smart Pilot for Drug Manufacturing

Smart Manufacturing, Pharma · 2026 - Present

2026

Long-Range Embodied QA: Benchmarking and Memory-Augmented Navigation in Multi-Room VLM Agents

Embodied AI / Vision-Language Models / Benchmarking · 2026 - Present

2026

NIDHI: Explainable Suicide Risk Detection

Explainable AI for Mental Health · 2026

2026

Bag of Tricks or Bag of Myths? Reducing Modeling Complexity with Task Knowledge in Explainable Suicide Risk Assessment

Shlok Shelat, Shrey Salvi, Souvik Roy, Manas Gaur, Amit Sheth — IEEE BigData 2026 Cup — Explainable Suicide Risk Detection (Competition Report); 1st place, 55 teams

Competition report for the NIDHI team's 1st-place system in the IEEE BigData 2026 Cup. Audits 31 standard NLP techniques from 7 methodological families across ~300 controlled experiments on 1,635 clinician-annotated posts, finding only 5 reliably improve small-data, multi-output suicide-risk assessment. A full paper is in preparation for the IEEE BigData 2026 submission deadline.

Sustainability

Some of our other important works.

2026

AI-enabled water resilience: Applications and future directions

Niyogi, D., Tiwari, A., Patel, A. and Neupane, B. — Global Environmental Issues, Vol. 7: AI and Environment (pp. 51–64), Korea Environment Institute, 2026

Others

Some of our other important works.

2026

SOFAI-DT: Return-Conditioned Control for Efficient Verified Reasoning

Rahul Maity, Vedant Khandelwal, Amit Sheth — COLM 2026 Workshop on Efficient Reasoning · ▶ Watch

MED-EVAL: Clinical Fact Alignment for Efficient Medical Reasoning

Rishit Agarwal, Vedant Khandelwal, Amit Sheth — COLM 2026 Workshop on Efficient Reasoning · ▶ Watch

Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification

Zi, Y., Xu, C., Bhattacharya, S., Foltin, M., Sheth, A. — Third Conference on Language Modeling (COLM 2026)

2026

Bag of Tricks or Bag of Myths? Reducing Modeling Complexity with Task Knowledge in Explainable Suicide Risk Assessment

Shlok Shelat, Shrey Salvi, Souvik Roy, Manas Gaur, Amit Sheth — IEEE BigData 2026 Cup — Explainable Suicide Risk Detection (Competition Report); 1st place, 55 teams · NIDHI: Explainable Suicide Risk Detection

Competition report for the NIDHI team's 1st-place system in the IEEE BigData 2026 Cup. Audits 31 standard NLP techniques from 7 methodological families across ~300 controlled experiments on 1,635 clinician-annotated posts, finding only 5 reliably improve small-data, multi-output suicide-risk assessment. A full paper is in preparation for the IEEE BigData 2026 submission deadline.

AI-enabled water resilience: Applications and future directions

Niyogi, D., Tiwari, A., Patel, A. and Neupane, B. — Global Environmental Issues, Vol. 7: AI and Environment (pp. 51–64), Korea Environment Institute, 2026

SOFAI-DT: Return-Conditioned Control for Efficient Verified Reasoning

Rahul Maity, Vedant Khandelwal, Amit Sheth — COLM 2026 Workshop on Efficient Reasoning · ▶ Watch

MED-EVAL: Clinical Fact Alignment for Efficient Medical Reasoning

Rishit Agarwal, Vedant Khandelwal, Amit Sheth — COLM 2026 Workshop on Efficient Reasoning · ▶ Watch

Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification

Zi, Y., Xu, C., Bhattacharya, S., Foltin, M., Sheth, A. — Third Conference on Language Modeling (COLM 2026)