Pinned Loading

1. symbolic_exec_GNN symbolic_exec_GNN Public

   Experiments with Graph Neural Networks and symbolic execution

   Python

2. YaccConstructor/articles YaccConstructor/articles Public

   Papers sources, pictures, presentations, and other stuff

   TeX 22 71

3. PySymGym/PySymGym PySymGym/PySymGym Public

   Python infrastructure to train paths selectors for symbolic execution engines.

   Python 8 3