Sign in
Piyush Jha
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 11
Top Topics
Intelligent Design
Source Language
Parallel Corpus
Unsatisfiable Cores
Top Venues
CoRR
Pattern Recognit.
ACM Trans. Asian Low Resour. Lang. Inf. Process.
IEEE BigData
</>
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.
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
,
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)