Sign in

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

Nan WuYingjie LiCong HaoSteve DaiCunxi YuYuan Xie
Published in: DAC (2023)
Keyphrases
  • knowledge acquisition
  • artificial intelligence
  • reinforcement learning
  • data analysis
  • nearest neighbor
  • data warehouse
  • boolean networks
  • symbolic reasoning