Piyush Jha
University of Waterloo
H-index: 3
North America-Canada
Top articles of Piyush Jha
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis | arXiv preprint arXiv:2401.17159 | Zhengyang Lu Stefan Siemer Piyush Jha Joel Day Florin Manea | 2024/1/30 |
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems | arXiv preprint arXiv:2401.13770 | Piyush Jha Zhengyu Li Zhengyang Lu Curtis Bright Vijay Ganesh | 2024/1/24 |
A reinforcement learning based reset policy for cdcl sat solvers | arXiv preprint arXiv:2404.03753 | Chunxiao Li Charlie Liu Jonathan Chung Piyush Jha Vijay Ganesh | 2024/4/4 |
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract) | arXiv preprint arXiv:2305.12534 | Piyush Jha Joseph Scott Jaya Sriram Ganeshna Mudit Singh Vijay Ganesh | 2023/5/21 |
Attention, compilation, and solver-based symbolic analysis are all you need | arXiv preprint arXiv:2306.06755 | Prithwish Jana Piyush Jha Haoyang Ju Gautham Kishore Aryan Mahajan | 2023/6/11 |
Filtering and Extended Vocabulary based Translation for Low-resource Language Pair of Sanskrit-Hindi | ACM Transactions on Asian and Low-Resource Language Information Processing | Piyush Jha Rashi Kumar Vineet Sahula | 2023/4/12 |
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks | arXiv preprint arXiv:2304.01826 | Vineel Nagisetty Laura Graves Guanting Pan Piyush Jha Vijay Ganesh | 2023/4/4 |
OppropBERT: An Extensible Graph Neural Network and BERT-style Reinforcement Learning-based Type Inference System | Piyush Jha | 2022/12/20 | |
Efficacy of machine learning techniques in predicting groundwater fluctuations in agro-ecological zones of India | Science of the Total Environment | Janaki B Mohapatra Piyush Jha Madan K Jha Sabinaya Biswal | 2021/9/1 |
Deepfakes in India: regulation and privacy | Simran Jain Piyush Jha | 2020/5/21 |