Follow
Piyush Jha
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
472021
Representation learning using step-based deep multi-modal autoencoders
G Bhatt, P Jha, B Raman
Pattern Recognition 95, 12-23, 2019
222019
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
152019
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
62023
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
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract)
P Jha, J Scott, JS Ganeshna, M Singh, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23521 …, 2024
2*2024
Deepfakes in India: regulation and privacy
S Jain, P Jha
https://blogs.lse.ac.uk/southasia/2020/05/21/deepfakes-in-india-regulation …, 2020
22020
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
A reinforcement learning based reset policy for cdcl sat solvers
C Li, C Liu, J Chung, P Jha, V Ganesh
arXiv preprint arXiv:2404.03753, 2024
2024
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
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
OppropBERT: An Extensible Graph Neural Network and BERT-style Reinforcement Learning-based Type Inference System
P Jha
University of Waterloo, 2022
2022
Z3-alpha: A Reinforcement Learning Guided SMT Solver
Z Lu, S Siemer, P Jha, F Manea, J Day, V Ganesh
The system can't perform the operation now. Try again later.
Articles 1–14