Piyush Jha

Ph.D. Student at Georgia Institute of Technology


Peer-reviewed Journals | Piyush Jha

Peer-reviewed Journals

  1. Piyush Jha, Rashi Kumar, and Vineet Sahula (2023). Filtering and extended vocabulary based translation for low-resource language pair of Sanskrit-Hindi. Transactions on Asian and Low-Resource Language Information Processing, ACM, Vol. 22, Issue 4, pp. 1-15.

  2. Janaki B. Mohapatra, Piyush Jha, Madan Kumar Jha, and Sabinaya Biswal (2021). Efficacy of machine learning techniques in predicting groundwater fluctuations in Agro-Ecological Zones of India. Science of the Total Environment, Elsevier, Vol. 785. (Impact Factor: 10.753)

  3. Gaurav Bhatt, Piyush Jha, and Balasubramanian Raman (2019). Representation learning using step-based deep multi-modal autoencoders. Pattern Recognition, Elsevier, Vol. 95, pp. 12-23. (Impact Factor: 8.518)

Peer-reviewed International Conferences (Full Paper)

  1. Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel Day, Florin Manea, and Vijay Ganesh (2024). Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. Accepted at International Joint Conference on Artificial Intelligence (IJCAI) 2024.

  2. Joseph Scott, Guanting Pan, Piyush Jha, Elias Khalil, and Vijay Ganesh (2023). Pierce: A testing tool for Neural Network Verification solvers. Accepted at International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) 2023.

  3. Rashi Kumar, Piyush Jha, and Vineet Sahula (2019). An augmented translation technique for low resource language pair: Sanskrit to Hindi translation. International Conference on Algorithms, Computing and Artificial Intelligence (ACAI), Association for Computing Machinery (ACM), 20-22 December 2019, Sanya, China.

  4. Gaurav Bhatt, Piyush Jha, and Balasubramanian Raman (2017). Common representation learning using step-based correlation multi-modal CNN. Asian Conference on Pattern Recognition (ACPR), IEEE, 26-29 November 2017, Nanjing, China.

Peer-reviewed International Conferences (Short Paper)

  1. Piyush Jha and Werner Dietl (Accepted). OppropBERL: A GNN and BERT-style Reinforcement Learning-based Type Inference. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) 2024.

  2. Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, and Vijay Ganesh (2024). BertRLFuzzer: A BERT and Reinforcement Learning based fuzzer (Student Abstract). Association for the Advancement of Artificial Intelligence (AAAI) 2024. 20-27 February 2024, Vancouver, Canada.

  3. Zhengyang Lu, Piyush Jha, Stefan Siemer, Florin Manea, Joel Day, and Vijay Ganesh (2023). Reinforcement Learning empowers SMT solver. Doctoral Program at International Conference on Principles and Practice of Constraint Programming (CP) 2023. 27-31 August 2023, Toronto, Canada.

Peer-reviewed International Short Articles

  1. Simran Jain and Piyush Jha. Deepfakes in India: regulation and privacy. South Asia Center at London School of Economics, The London School of Economics and Political Science (LSE), 21 May 2020.

Pre-prints

  1. Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, and Vijay Ganesh. A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. arXiv preprint, April 2024.

  2. Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, and Vijay Ganesh. AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. arXiv preprint, January 2024.

  3. Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan and Vijay Ganesh. Attention, Compilation, and Solver-based Symbolic Analysis are All You Need. arXiv preprint, June 2023.

  4. Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, and Vijay Ganesh. CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks. arXiv preprint, April 2023.