research
∙
06/11/2023
Attention, Compilation, and Solver-based Symbolic Analysis are All You Need
In this paper we present a Java-to-Python (J2P) and Python-to-Java (P2J)...
share
research
∙
05/21/2023
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer
We present a novel tool BertRLFuzzer, a BERT and Reinforcement Learning ...
research
∙
04/04/2023
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks
In this paper, we propose a new Deep Neural Network (DNN) testing algori...
research
∙
06/09/2020
An Augmented Translation Technique for low Resource language pair: Sanskrit to Hindi translation
Neural Machine Translation (NMT) is an ongoing technique for Machine Tra...
research
∙
10/31/2017