
Registered user since Sun 8 Feb 2026
Name:Prithwish Jana
Country:United States
Affiliation:Georgia Institute of Technology
Personal website: https://sites.google.com/site/jprithwish/
Research interests:Neuro-symbolic AI, Reinforcement Learning, NLP, Software Engineering, Formal Methods, Automated Reasoning, Programming Languages & Compilers, AI for Code, AI for Math
Contributions
Using general profile