Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks.

Nan Wu Yingjie Li Cong Hao Steve Dai Cunxi Yu Yuan Xie

Published in: DAC (2023)

Keyphrases

knowledge acquisition
artificial intelligence
reinforcement learning
data analysis
nearest neighbor
data warehouse
boolean networks
symbolic reasoning