Publications

Highlight: Shaded entries are A or A* venues (prestigious and highly selective), per the CORE Computer Science Conference Rankings.

Peer-Reviewed International Conference Papers

ICLR 2026
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
P. Jana, K. Kale, A. E. Tanriverdi, C. Song, S. Vishwanath, and V. Ganesh
14th International Conference on Learning Representations, Rio de Janeiro, Brazil, 2026. (Acceptance rate: 28%)
arXiv
ICSE 2026
TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
P. Jana, S. Davidson, B. Bhasker, A. Kan, A. Deoras, and L. Callot
IEEE/ACM 48th International Conference on Software Engineering, SEIP Track, Rio de Janeiro, Brazil, 2026.
arXiv 🏆 Distinguished Paper Award
ECAI 2025
RLSF: Fine-tuning LLMs via Symbolic Feedback
P. Jha, P. Jana, P. Suresh, A. Arora, and V. Ganesh
28th European Conference on Artificial Intelligence, Bologna, Italy, pp. 1687–94, 2025. (Acceptance rate: 23%)
Link arXiv
ECAI 2024
CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
P. Jana, P. Jha, H. Ju, G. Kishore, A. Mahajan, and V. Ganesh
27th European Conference on Artificial Intelligence, Santiago de Compostela, Spain, pp. 4011–18, 2024. (Acceptance rate: 23%)
Link arXiv
IJCAI 2024
NeuroSymbolic LLM for Mathematical Reasoning and Software Engineering
P. Jana
33rd International Joint Conference on Artificial Intelligence, Doctoral Consortium, pp. 8492–93, 2024. (Acceptance rate: 17%)
Link
WWW 2022
Scheduling Virtual Conferences Fairly: Achieving Equitable Participant and Speaker Satisfaction
G. K. Patro, P. Jana, A. Chakraborty, K. P. Gummadi, and N. Ganguly
31st ACM Web Conference, Lyon, France, pp. 2646–2656, 2022. (Acceptance rate: 17.7%)
Link PDF
TENCON 2021
Unsupervised Action Localization Crop in Video Retargeting for 3D ConvNets
P. Jana, S. Bhaumik, and P. P. Mohanta
2021 IEEE Region 10 (Asia-Pacific) Conference, Auckland, New Zealand, pp. 670–675, 2021.
Link PDF
ICDC 2021
AutoDrone: Shortest Optimized Obstacle-Free Path Planning for Autonomous Drones
P. Jana and D. Jana
International Conference on Computational Intelligence, Data Science & Cloud Computing, pp. 1–13, 2021.
Link PDF
CALCON 2020
Two Stage Semantic Segmentation by SEEDS & Fork Net
A. Mukherjee, P. Jana, S. Chakraborty, and S. K. Saha
2020 IEEE Calcutta Conference, pp. 283–287, 2020.
Link PDF 🏆 Best Student Paper 2nd Runner-Up
PReMI 2019
A Multi-tier Fusion Strategy for Event Classification in Unconstrained Videos
P. Jana, S. Bhaumik, and P. P. Mohanta
8th International Conference on Pattern Recognition & Machine Intelligence, Springer, pp. 515–524, 2019.
Link PDF
TENSYMP 2019
Key-Frame based Event Recognition in Unconstrained Videos using Temporal Features
P. Jana, S. Bhaumik, and P. P. Mohanta
2019 IEEE Region 10 (Asia-Pacific) Symposium, pp. 349–354, 2019.
Link PDF
CALCON 2017
Handwritten Document Image Binarization: An Adaptive K-means based Approach
P. Jana, S. Ghosh, S. K. Bera, and R. Sarkar
2017 IEEE Calcutta Conference, pp. 226–230, 2017.
Link PDF
ICAPR 2017
A Fuzzy C-Means Based Approach Towards Efficient Document Image Binarization
P. Jana, S. Ghosh, R. Sarkar, and M. Nasipuri
9th International Conference on Advances in Pattern Recognition (ICAPR), pp. 332–337, 2017.
Link PDF

Journal Papers / Book Chapters

IJCISIM 2022
SALiEnSeA: Spatial Action Localization & Temporal Attention for Video Event Recognition
P. Jana, S. Bhaumik, and P. P. Mohanta
International Journal of Computer Information Systems and Industrial Management Applications, vol. 14, pp. 270–284, MIR Labs, 2022.
Link PDF
River Publishers 2022
Recent Trends in 2D Object Detection and Applications in Video Event Recognition
P. Jana and P. P. Mohanta
Book chapter in Advances of Deep Learning and its Applications in Object Detection and Recognition, River Publishers, 2022.
Link PDF
Springer Nature 2021
Event and Activity Recognition in Video Surveillance for Cyber-Physical Systems
S. Bhaumik, P. Jana, and P. P. Mohanta
Book chapter in Emergence of Cyber Physical System & IoT in Smart Automation and Robotics, Springer Nature, 2021.
Link PDF

Preprints / Under Submission

arXiv 2025
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
M. DeLorenzo, K. Tieu, P. Jana, P. Jha, D. Kalathil, V. Ganesh, and J. Rajendran
Preprint · arXiv:2505.15873, 2025.
arXiv
arXiv 2023
Reducing Opinion Echo-Chambers by Intelligent Placement of Moderate-Minded Agents
P. Jana, R. R. Choudhury, and N. Ganguly
Preprint · arXiv:2304.10745, 2023.
arXiv