1 code implementation • 15 Apr 2024 • Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
Theorem proving is a fundamental aspect of mathematics, spanning from informal reasoning in mathematical language to rigorous derivations in formal systems.
1 code implementation • 29 Sep 2023 • Zhaoyu Li, Jinpei Guo, Xujie Si
Graph neural networks (GNNs) have recently emerged as a promising approach for solving the Boolean Satisfiability Problem (SAT), offering potential alternatives to traditional backtracking or local search SAT solvers.
1 code implementation • 7 Nov 2022 • Zhaoyu Li, Xujie Si
We present the Neural Satisfiability Network (NSNet), a general neural framework that models satisfiability problems as probabilistic inference and meanwhile exhibits proper explainability.
no code implementations • 15 Oct 2021 • Fanfan Wang, Zixiang Ding, Rui Xia, Zhaoyu Li, Jianfei Yu
It is also interesting to discover emotions and their causes in conversations.
no code implementations • 24 Aug 2021 • Zhaoyu Li, Binghong Chen, Xujie Si
Interactive theorem proving is a challenging and tedious process, which requires non-trivial expertise and detailed low-level instructions (or tactics) from human experts.