NeuroSymbolic Reasoning

Aug 31, 2023
deep-learning Logic Probabilistic Logic PSL common-sense
Avatar
Somak Aditya
Assistant Professor

My research interests include integrating knowledge and enabling higher-order reasoning in AI.

Publications

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization | In ArXiv 2025.
Koushik Viswanadha, Deepanway Ghoshal, Somak Aditya (2025).

PDF Code nlp neurosymbolic

MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning | In NAACL 2024 (Main, In Print).
Debrup Das, Debopriyo Banerjee, Somak Aditya, Ashish Kulkarni (2024).

PDF Code Project nlp neurosymbolic

Prover: Generating Intermediate Steps for NLI with Commonsense Knowledge Retrieval and Next-Step Prediction | In AACL-IJCNLP 2023 (Main).
Deepanway Ghoshal, Somak Aditya, Monojit Choudhury (2023).

PDF Code Poster nlp neurosymbolic

SYNC: A Structurally guided Hard Negative Curricula for Efficient Neural Code Search | In AACL-IJCNLP 2023 (Main).
Atharva Naik, Soumitra Das, Jyothi Vedurada, Somak Aditya (2023).

PDF Code nlp neurosymbolic

Analyzing the Nuances of Transformers' Polynomial Simplification Abilities | In ICLR 2021 MathAI.
Vishesh Agarwal, Somak Aditya, Navin Goyal (2021).

PDF Poster Video symbolicmath neurosymbolic

Spatial Knowledge Distillation to aid Visual Reasoning | In IEEE WACV 2019.
Somak Aditya, Rudra Saha, Yezhou Yang, Chitta Baral (2019).

PDF vision nlp neurosymbolic

Explicit Reasoning over End-to-End Neural Architectures | In AAAI 2018.
Somak Aditya, Yezhou Yang, Chitta Baral (2018).

PDF Code Project vision nlp neurosymbolic

Towards Addressing the Winograd Schema Challenge-Building and Using a Semantic Parser and a Knowledge Hunting Module. | In IJCAI, 2015.
Arpit Sharma, Nguyen Ha Vo, Somak Aditya, Chitta Baral (2015).

PDF nlp neurosymbolic