Scholar
Piyush Jha
Google Scholar ID: azsq_WEAAAAJ
PhD Student, Georgia Institute of Technology, Atlanta, GA, USA
AI for Science
Reinforcement Learning
NLP
Formal Methods
Neurosymbolic AI
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
248
H-index
8
i10-index
6
Publications
20
Co-authors
0
Publications
5 items
Towards Certificate-Driven Software Porting: A Self-Improving Agentic Harness for Scientific Program Optimization
2026
Cited
0
CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery
2026
Cited
0
MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
2026
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
