Scholar
Prithwish Jana
Google Scholar ID: CAd9KDQAAAAJ
PhD Student, Georgia Institute of Technology, Atlanta, GA, USA
Neurosymbolic AI
Natural Language Processing
Formal Methods
AI for Code
AI for Math
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
156
H-index
7
i10-index
3
Publications
20
Co-authors
0
Contact
LinkedIn
Open ↗
Publications
4 items
TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
2026
Cited
0
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
2025
Cited
0
Abstraction-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
2025
Cited
0
RLSF: Reinforcement Learning via Symbolic Feedback
arXiv.org · 2024
Cited
4
Resume (English only)
Academic Achievements
Paper accepted at ECAI-2025 main track (acceptance rate: 23%).
Awarded 2nd Place in the College of Computing (CoC) Graduate Poster Symposium at Georgia Tech (May 2025).
Recognized as a Top Reviewer for NeurIPS-2024 (top 8%), awarded complimentary full registration.
Served as PC member for ECAI-2025, NeurIPS-2025, and ICML-2025 (Jan–Mar 2025).
Recipient of the 2021 Reliance Foundation Scholarship in AI & Computer Science (selected among top 38 Master’s students in India).
Awarded prestigious national fellowships from Govt. of India: JBNSTS Senior Fellowship, KVPY, and NTSE.
Achieved top ranks in national exams: 188th/100,000 in GATE CS (2020), 32nd/125,000 in WBJEE (2016), 143rd/100,000 in KVPY (2015).
IEEE Student Member (#92577001) since 2017.
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up