Piyush Jha

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 17

Top Topics

Reinforcement Learning

Propositional Satisfiability

Source Language

Top Venues

Pattern Recognit.

Publications

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. SMT@CAV (2024)
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. CoRR (2024)
Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. CoRR (2024)
Piyush Jha, Prithwish Jana, Arnav Arora, Vijay Ganesh
RLSF: Reinforcement Learning via Symbolic Feedback. CoRR (2024)
Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. CoRR (2024)
Piyush Jha, Werner Dietl
OppropBERL: A GNN and BERT-Style Reinforcement Learning-Based Type Inference. SANER (2024)
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract). AAAI (2024)
Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh
Pierce: A Testing Tool for Neural Network Verification Solvers. VSTTE (2023)
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer. CoRR (2023)
Piyush Jha, Rashi Kumar, Vineet Sahula
Filtering and Extended Vocabulary based Translation for Low-resource Language Pair of Sanskrit-Hindi. ACM Trans. Asian Low Resour. Lang. Inf. Process. 22 (4) (2023)
Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, Vijay Ganesh
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks. CoRR (2023)
Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
Attention, Compilation, and Solver-based Symbolic Analysis are All You Need. CoRR (2023)
Rashi Kumar, Piyush Jha, Vineet Sahula
An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation. CoRR (2020)
Gaurav Bhatt, Piyush Jha, Balasubramanian Raman
Representation learning using step-based deep multi-modal autoencoders. Pattern Recognit. 95 (2019)
Gaurav Bhatt, Piyush Jha, Balasubramanian Raman
Common Representation Learning Using Step-based Correlation Multi-Modal CNN. CoRR (2017)
Gaurav Bhatt, Piyush Jha, Balasubramanian Raman
Common Representation Learning Using Step-Based Correlation Multi-modal CNN. ACPR (2017)
Weider D. Yu, Jaspal Singh Gill, Maulin Dalal, Piyush Jha, Sajan Shah
Big data approach in healthcare used for intelligent design - Software as a service. IEEE BigData (2016)