Prithwish Jana

18 papers A* 2A 2C 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback.
CoRR
Prithwish Jana, Sam Davidson, Bhavana Bhasker, Andrey Kan, Anoop Deoras, Laurent Callot
2025 J jnl
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design.
CoRR
Matthew DeLorenzo, Kevin Tieu, Prithwish Jana, Piyush Jha, Dileep Kalathil, Vijay Ganesh, Jeyavijayan Rajendran
2025 J jnl
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings.
CoRR
Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi, Cruise Song, Sriram Vishwanath, Vijay Ganesh
2025 A conf
RLSF: Fine-tuning LLMs via Symbolic Feedback.
ECAI
Piyush Jha, Prithwish Jana, Pranavkrishna Suresh, Arnav Arora, Vijay Ganesh
2024 A conf
CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution.
ECAI
Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
2024 A* conf
NeuroSymbolic LLM for Mathematical Reasoning and Software Engineering.
IJCAI
Prithwish Jana
2024 J jnl
RLSF: Reinforcement Learning via Symbolic Feedback.
CoRR
Piyush Jha, Prithwish Jana, Arnav Arora, Vijay Ganesh
2023 J jnl
Attention, Compilation, and Solver-based Symbolic Analysis are All You Need.
CoRR
Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
2023 J jnl
Reducing Opinion Echo-Chambers by Intelligent Placement of Moderate-Minded Agents.
CoRR
Prithwish Jana, Romit Roy Choudhury, Niloy Ganguly
2022 J jnl
Recent Trends in 2D Object Detection and Applications in Video Event Recognition.
CoRR
Prithwish Jana, Partha Pratim Mohanta
2022 A* conf
Scheduling Virtual Conferences Fairly: Achieving Equitable Participant and Speaker Satisfaction.
WWW
Gourab K. Patro, Prithwish Jana, Abhijnan Chakraborty, Krishna P. Gummadi, Niloy Ganguly
2022 J jnl
Scheduling Virtual Conferences Fairly: Achieving Equitable Participant and Speaker Satisfaction.
CoRR
Gourab K. Patro, Prithwish Jana, Abhijnan Chakraborty, Krishna P. Gummadi, Niloy Ganguly
2021 J jnl
AutoDrone: Shortest Optimized Obstacle-Free Path Planning for Autonomous Drones.
CoRR
Prithwish Jana, Debasish Jana
2021 J jnl
Event and Activity Recognition in Video Surveillance for Cyber-Physical Systems.
CoRR
Swarnabja Bhaumik, Prithwish Jana, Partha Pratim Mohanta
2021 C conf
Unsupervised Action Localization Crop in Video Retargeting for 3D ConvNets.
TENCON
Prithwish Jana, Swarnabja Bhaumik, Partha Pratim Mohanta
2021 J jnl
Unsupervised Action Localization Crop in Video Retargeting for 3D ConvNets.
CoRR
Prithwish Jana, Swarnabja Bhaumik, Partha Pratim Mohanta
2019 — conf
A Multi-tier Fusion Strategy for Event Classification in Unconstrained Videos.
PReMI (2)
Prithwish Jana, Swarnabja Bhaumik, Partha Pratim Mohanta
2017 — conf
A Fuzzy C-Means Based Approach Towards Efficient Document Image Binarization.
ICAPR
Prithwish Jana, Soulib Ghosh, Ram Sarkar, Mita Nasipuri