katyacyfra / symbolic_exec_GNN Public

Experiments with Graph Neural Networks and symbolic execution

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
pretrained		pretrained
README.md		README.md
data_loader.py		data_loader.py
data_loader_compact.py		data_loader_compact.py
game.py		game.py
game_compact.py		game_compact.py
main.py		main.py
model_singleton_one_tensor.py		model_singleton_one_tensor.py
models.py		models.py
predict_state_hetero.py		predict_state_hetero.py
predict_state_vector_hetero.py		predict_state_vector_hetero.py