TY - RPRT TI - Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks AU - Nan Wu AU - Yingjie Li AU - Cong Hao AU - Steve Dai AU - Cunxi Yu AU - Yuan Xie PY - 2023 UR - https://arxiv.org/abs/2303.08256 ID - 2303.08256 ER -