research
∙
05/21/2023
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer
We present a novel tool BertRLFuzzer, a BERT and Reinforcement Learning ...
share
research
∙
10/21/2020
Logic Guided Genetic Algorithms
We present a novel Auxiliary Truth enhanced Genetic Algorithm (GA) that ...
research
∙
06/05/2020
LGML: Logic Guided Machine Learning
We introduce Logic Guided Machine Learning (LGML), a novel approach that...
research
∙
03/09/2020
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks
In this paper, we introduce interpretable Siamese Neural Networks (SNN) ...
research
∙
02/24/2020