Follow
Piyush Jha
Piyush Jha
PhD Student, Georgia Institute of Technology, Atlanta, GA, USA
Verified email at gatech.edu - Homepage
Title
Cited by
Cited by
Year
Efficacy of machine learning techniques in predicting groundwater fluctuations in agro-ecological zones of India
JB Mohapatra, P Jha, MK Jha, S Biswal
Science of the Total Environment 785, 147319, 2021
612021
Representation learning using step-based deep multi-modal autoencoders
G Bhatt, P Jha, B Raman
Pattern Recognition 95, 12-23, 2019
312019
Attention, compilation, and solver-based symbolic analysis are all you need
P Jana, P Jha, H Ju, G Kishore, A Mahajan, V Ganesh
arXiv preprint arXiv:2306.06755, 2023
21*2023
An augmented translation technique for low resource language pair: Sanskrit to hindi translation
R Kumar, P Jha, V Sahula
Proceedings of the 2019 2nd international conference on algorithms …, 2019
182019
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer
P Jha, J Scott, JS Ganeshna, M Singh, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23521 …, 2024
62024
Deepfakes in India: regulation and privacy
S Jain, P Jha
https://blogs.lse.ac.uk/southasia/2020/05/21/deepfakes-in-india-regulation …, 2020
6*2020
Alphamaplesat: An MCTS-based cube-and-conquer SAT solver for hard combinatorial problems
P Jha, Z Li, Z Lu, C Bright, V Ganesh
arXiv preprint arXiv:2401.13770, 2024
32024
Common representation learning using step-based correlation multi-modal CNN
G Bhatt, P Jha, B Raman
2017 4th IAPR Asian Conference on Pattern Recognition (ACPR), 864-869, 2017
32017
LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs
P Jha, A Arora, V Ganesh
arXiv preprint arXiv:2411.08862, 2024
22024
RLSF: Reinforcement Learning via Symbolic Feedback
P Jha, P Jana, P Suresh, A Arora, V Ganesh
arXiv preprint arXiv:2405.16661, 2024
22024
OppropBERT: An extensible Graph Neural Network and BERT-style Reinforcement Learning-based type inference system
P Jha
University of Waterloo, 2022
22022
A reinforcement learning based reset policy for cdcl sat solvers
C Li, C Liu, J Chung, Z Lu, P Jha, V Ganesh
arXiv preprint arXiv:2404.03753, 2024
12024
Layered and staged Monte Carlo tree search for SMT strategy synthesis
Z Lu, S Siemer, P Jha, J Day, F Manea, V Ganesh
arXiv preprint arXiv:2401.17159, 2024
12024
Filtering and Extended Vocabulary based Translation for Low-resource Language pair of Sanskrit-Hindi
P Jha, R Kumar, V Sahula
ACM Transactions on Asian and Low-Resource Language Information Processing …, 2023
12023
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks
V Nagisetty, L Graves, G Pan, P Jha, V Ganesh
arXiv preprint arXiv:2304.01826, 2023
12023
OppropBERL: A GNN and BERT-Style Reinforcement Learning-Based Type Inference
P Jha, W Dietl
2024 IEEE International Conference on Software Analysis, Evolution and …, 2024
2024
Pierce: A Testing Tool for Neural Network Verification Solvers
J Scott, G Pan, P Jha, EB Khalil, V Ganesh
International Conference on Verified Software: Theories, Tools, and …, 2023
2023
Z3-alpha: A Reinforcement Learning Guided SMT Solver
Z Lu, S Siemer, P Jha, F Manea, J Day, V Ganesh
2023
Prenatal diagnosis of congenital anomalies and their outcome in Tribhuvan University Teaching Hospital
BK Jha, P Jha, GR Dahal, RP Pokharel
Journal of Institute of Medicine Nepal 39 (3), 36-39, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–19