Publications
All IAIRO publications — browse grouped by research project, or in one reverse-chronological timeline.
Project Index
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
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
Others
Some of our other important works.
2026
Abstention vs. Hallucination: Benchmarking LLM Source Attribution for Scientific Citations
SOFAI-DT: Return-Conditioned Control for Efficient Verified Reasoning
MED-EVAL: Clinical Fact Alignment for Efficient Medical Reasoning
Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification
Cognitive Fatigue in Autoregressive Transformers: Formalization and Measurement
One Size Does Not Fit All: Revisiting World Models and Neurosymbolic AI
LiveSpec: A Tiered Runtime for Planning under Live-Editable Constraints
Where Should Knowledge Enter? A Layered Framework for Knowledge Infusion in Multimodal Iterative Generative Model
To be published in IEEE Intelligent Systems.
Toward Neurosymbolic Reinforcement Learning via Editable Specifications
CAMEO: A Black-Box Behavioral Diagnostic for Evaluation-Aware Concealment in Language Models
2026
CausalPulse: An Industrial-Grade Neurosymbolic Multi-Agent Copilot for Causal Diagnostics in Smart Manufacturing
IndustryAssetEQA: A Neurosymbolic Operational Intelligence System for Embodied Question Answering in Industrial Asset Maintenance
SEMINAR: Synchronization Engine for Mathematical Illustration, Narration, and Reasoning
Answering Without Arriving: An Evidence Audit for Embodied Question Answering
Bag of Tricks or Bag of Myths? Reducing Modeling Complexity with Task Knowledge in Explainable Suicide Risk Assessment
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
Abstention vs. Hallucination: Benchmarking LLM Source Attribution for Scientific Citations
SOFAI-DT: Return-Conditioned Control for Efficient Verified Reasoning
MED-EVAL: Clinical Fact Alignment for Efficient Medical Reasoning
Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification
Cognitive Fatigue in Autoregressive Transformers: Formalization and Measurement
One Size Does Not Fit All: Revisiting World Models and Neurosymbolic AI
LiveSpec: A Tiered Runtime for Planning under Live-Editable Constraints
Where Should Knowledge Enter? A Layered Framework for Knowledge Infusion in Multimodal Iterative Generative Model
To be published in IEEE Intelligent Systems.