Piyush Jha

According to our database, Piyush Jha authored at least 20 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Novel tree-search method for synthesizing SMT strategies.

Zhengyang John Lu, Joel D. Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh

Acta Informatica, September, 2025

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design.

Matthew DeLorenzo, Kevin Tieu, Prithwish Jana, Piyush Jha, Dileep Kalathil, Vijay Ganesh, Jeyavijayan Rajendran

CoRR, May, 2025

LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract).

Piyush Jha, Arnav Arora, Vijay Ganesh

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs.

Piyush Jha, Arnav Arora, Vijay Ganesh

CoRR, 2024

RLSF: Reinforcement Learning via Symbolic Feedback.

Piyush Jha, Prithwish Jana, Arnav Arora, Vijay Ganesh

CoRR, 2024

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers.

Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh

CoRR, 2024

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.

Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh

CoRR, 2024

OppropBERL: A GNN and BERT-Style Reinforcement Learning-Based Type Inference.

Piyush Jha, Werner Dietl

Proceedings of the IEEE International Conference on Software Analysis, 2024

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 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

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract).

Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

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., April, 2023

Attention, Compilation, and Solver-based Symbolic Analysis are All You Need.

Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh

CoRR, 2023

BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer.

Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh

CoRR, 2023

CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks.

Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, Vijay Ganesh

CoRR, 2023

Pierce: A Testing Tool for Neural Network Verification Solvers.

Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023

2020

An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation.

Rashi Kumar, Piyush Jha, Vineet Sahula

CoRR, 2020

2019

Representation learning using step-based deep multi-modal autoencoders.

Gaurav Bhatt, Piyush Jha, Balasubramanian Raman

Pattern Recognit., 2019

2017

Common Representation Learning Using Step-Based Correlation Multi-modal CNN.

Gaurav Bhatt, Piyush Jha, Balasubramanian Raman

Proceedings of the 4th IAPR Asian Conference on Pattern Recognition, 2017

2016

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

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016