Big data approach in healthcare used for intelligent design - Software as a service. - Weider D. Yu; Jaspal Singh Gill; Maulin Dalal; Piyush Jha; Sajan Shah (IEEE BigData, 2016)

Common Representation Learning Using Step-Based Correlation Multi-modal CNN. - Gaurav Bhatt; Piyush Jha; Balasubramanian Raman (ACPR, 2017)

Representation learning using step-based deep multi-modal autoencoders. - Gaurav Bhatt; Piyush Jha; Balasubramanian Raman (Pattern Recognit., 2019)

An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation. - Rashi Kumar; Piyush Jha; Vineet Sahula (CoRR, 2020)

Pierce: A Testing Tool for Neural Network Verification Solvers. - Joseph Scott; Guanting Pan; Piyush Jha; Elias B. Khalil; Vijay Ganesh 001 (VSTTE, 2023)

CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks. - Vineel Nagisetty; Laura Graves; Guanting Pan; Piyush Jha; Vijay Ganesh 001 (CoRR, 2023)

BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer. - Piyush Jha; Joseph Scott; Jaya Sriram Ganeshna; Mudit Singh; Vijay Ganesh 001 (CoRR, 2023)

Attention, Compilation, and Solver-based Symbolic Analysis are All You Need. - Prithwish Jana; Piyush Jha; Haoyang Ju; Gautham Kishore; Aryan Mahajan; Vijay Ganesh 001 (CoRR, 2023)

Filtering and Extended Vocabulary based Translation for Low-resource Language Pair of Sanskrit-Hindi. - Piyush Jha; Rashi Kumar; Vineet Sahula (ACM Trans. Asian Low Resour. Lang. Inf. Process., 2023)

BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract). - Piyush Jha; Joseph Scott; Jaya Sriram Ganeshna; Mudit Singh; Vijay Ganesh 001 (AAAI, 2024)

CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution. - Prithwish Jana; Piyush Jha; Haoyang Ju; Gautham Kishore; Aryan Mahajan; Vijay Ganesh 001 (ECAI, 2024)

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. - Zhengyang Lu 002; Stefan Siemer; Piyush Jha; Joel D. Day; Florin Manea; Vijay Ganesh 001 (IJCAI, 2024)

OppropBERL: A GNN and BERT-Style Reinforcement Learning-Based Type Inference. - Piyush Jha; Werner Dietl (SANER, 2024)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. - Piyush Jha; Zhengyu Li 002; Zhengyang Lu 002; Curtis Bright; Vijay Ganesh 001 (CoRR, 2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. - Chunxiao Li 002; Charlie Liu; Jonathan Chung 003; Zhengyang Lu 002; Piyush Jha; Vijay Ganesh 001 (CoRR, 2024)

RLSF: Reinforcement Learning via Symbolic Feedback. - Piyush Jha; Prithwish Jana; Arnav Arora; Vijay Ganesh 001 (CoRR, 2024)

LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs. - Piyush Jha; Arnav Arora; Vijay Ganesh 001 (CoRR, 2024)

LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract). - Piyush Jha; Arnav Arora; Vijay Ganesh 001 (AAAI, 2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design. - Matthew DeLorenzo; Kevin Tieu; Prithwish Jana; Piyush Jha; Dileep Kalathil; Vijay Ganesh 001; Jeyavijayan Rajendran (CoRR, 2025)