8 citations · 12 across the 15 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2024
Autoformalizing Euclidean Geometry
Logan Murphy, Kaiyu Yang, Jialiang Sun +3
Autoformalization involves automatically translating informal math into formal theorems and proofs that are machine-verifiable. Euclidean geometry provides an interesting and contr…
cs.LG2023★ 1 cited
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
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 back…
cs.LG2021
Graph Contrastive Pre-training for Effective Theorem Reasoning
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. Tactic p…