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
552021
Representation learning using step-based deep multi-modal autoencoders
G Bhatt, P Jha, B Raman
Pattern Recognition 95, 12-23, 2019
292019
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
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
13*2023
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
72024
Deepfakes in India: regulation and privacy
S Jain, P Jha
https://blogs.lse.ac.uk/southasia/2020/05/21/deepfakes-in-india-regulation …, 2020
5*2020
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
RLSF: Reinforcement Learning via Symbolic Feedback
P Jha, P Jana, P Suresh, A Arora, V Ganesh
arXiv preprint arXiv:2405.16661, 2024
12024
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
OppropBERT: An Extensible Graph Neural Network and BERT-style Reinforcement Learning-based Type Inference System
P Jha
University of Waterloo, 2022
12022
LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs
P Jha, A Arora, V Ganesh
arXiv preprint arXiv:2411.08862, 2024
2024
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–18