@misc{indiciaedfcbba17d177, title = {Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks}, author = {Nan Wu and Yingjie Li and Cong Hao and Steve Dai and Cunxi Yu and Yuan Xie}, year = {2023}, url = {https://arxiv.org/abs/2303.08256}, note = {Source identifier: 2303.08256} }