Picture for Piyush Jha

Piyush Jha

RLSF: Reinforcement Learning via Symbolic Feedback

Add code
May 26, 2024
Viaarxiv icon

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers

Add code
Apr 04, 2024
Viaarxiv icon

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

Add code
Jan 30, 2024
Viaarxiv icon

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

Add code
Jan 24, 2024
Viaarxiv icon

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

Add code
Jun 11, 2023
Figure 1 for Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
Figure 2 for Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
Figure 3 for Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
Figure 4 for Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
Viaarxiv icon

BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer

Add code
May 21, 2023
Viaarxiv icon

CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks

Add code
Apr 04, 2023
Viaarxiv icon

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

Add code
Jun 09, 2020
Figure 1 for An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation
Figure 2 for An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation
Figure 3 for An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation
Figure 4 for An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation
Viaarxiv icon

Common Representation Learning Using Step-based Correlation Multi-Modal CNN

Add code
Oct 31, 2017
Figure 1 for Common Representation Learning Using Step-based Correlation Multi-Modal CNN
Figure 2 for Common Representation Learning Using Step-based Correlation Multi-Modal CNN
Figure 3 for Common Representation Learning Using Step-based Correlation Multi-Modal CNN
Figure 4 for Common Representation Learning Using Step-based Correlation Multi-Modal CNN
Viaarxiv icon