Piyush Jha

24 papers A* 3A 3Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design.
CoRR
Matthew DeLorenzo, Kevin Tieu, Prithwish Jana, Piyush Jha, Dileep Kalathil, Vijay Ganesh, Jeyavijayan Rajendran
2025 A* conf
LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract).
AAAI
Piyush Jha, Arnav Arora, Vijay Ganesh
2025 J jnl
Novel tree-search method for synthesizing SMT strategies.
Acta Informatica
Zhengyang John Lu, Joel D. Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh
2025 A conf
RLSF: Fine-tuning LLMs via Symbolic Feedback.
ECAI
Piyush Jha, Prithwish Jana, Pranavkrishna Suresh, Arnav Arora, Vijay Ganesh
2024 J jnl
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers.
CoRR
Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh
2024 J jnl
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.
CoRR
Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh
2024 A* conf
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract).
AAAI
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
2024 A conf
CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution.
ECAI
Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
2024 J jnl
LLMStinger: Jailbreaking LLMs using RL fine-tuned LLMs.
CoRR
Piyush Jha, Arnav Arora, Vijay Ganesh
2024 A* conf
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
IJCAI
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 — conf
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
SMT@CAV
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 J jnl
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
CoRR
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024 A conf
OppropBERL: A GNN and BERT-Style Reinforcement Learning-Based Type Inference.
SANER
Piyush Jha, Werner Dietl
2024 J jnl
RLSF: Reinforcement Learning via Symbolic Feedback.
CoRR
Piyush Jha, Prithwish Jana, Arnav Arora, Vijay Ganesh
2023 J jnl
Attention, Compilation, and Solver-based Symbolic Analysis are All You Need.
CoRR
Prithwish Jana, Piyush Jha, Haoyang Ju, Gautham Kishore, Aryan Mahajan, Vijay Ganesh
2023 J jnl
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer.
CoRR
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
2023 J jnl
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks.
CoRR
Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, Vijay Ganesh
2023 J jnl
Filtering and Extended Vocabulary based Translation for Low-resource Language Pair of Sanskrit-Hindi.
ACM Trans. Asian Low Resour. Lang. Inf. Process.
Piyush Jha, Rashi Kumar, Vineet Sahula
2023 — conf
Pierce: A Testing Tool for Neural Network Verification Solvers.
VSTTE
Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh
2020 J jnl
An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation.
CoRR
Rashi Kumar, Piyush Jha, Vineet Sahula
2019 J jnl
Representation learning using step-based deep multi-modal autoencoders.
Pattern Recognit.
Gaurav Bhatt, Piyush Jha, Balasubramanian Raman
2017 — conf
Common Representation Learning Using Step-Based Correlation Multi-modal CNN.
ACPR
Gaurav Bhatt, Piyush Jha, Balasubramanian Raman
2017 J jnl
Common Representation Learning Using Step-based Correlation Multi-Modal CNN.
CoRR
Gaurav Bhatt, Piyush Jha, Balasubramanian Raman
2016 — conf
Big data approach in healthcare used for intelligent design - Software as a service.
IEEE BigData
Weider D. Yu, Jaspal Singh Gill, Maulin Dalal, Piyush Jha, Sajan Shah