15 citations · 42 across the 14 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.SE2021
Static Code Analyzer Using Micro-Grammar
Hanwen Zhu, Junyoung Jang, Xujie Si
[THIS IS AN UNDERGRADUATE PROJECT] This paper discusses the effectiveness of the bug finder based on "micro-grammar".
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…
cs.AI2021★ 6 cited
Techniques for Symbol Grounding with SATNet
Sever Topan, David Rolnick, Xujie Si
Many experts argue that the future of artificial intelligence is limited by the field's ability to integrate symbolic logical reasoning into deep learning architectures. The recent…