 QEDCartographer: Automating Formal Verification Using Reward-Free
Reinforcement LearningInternational Conference on Software Engineering (ICSE), 2024 |
 Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's
Progressive MatricesComputer Vision and Pattern Recognition (CVPR), 2023 |
 Proving Theorems using Incremental Learning and Hindsight Experience
ReplayInternational Conference on Machine Learning (ICML), 2021 |
 Learning to Guide a Saturation-Based Theorem ProverIEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2021 |
 TacticZero: Learning to Prove Theorems from Scratch with Deep
Reinforcement LearningNeural Information Processing Systems (NeurIPS), 2021 |
 Stateful Premise Selection by Recurrent Neural NetworksLogic Programming and Automated Reasoning (LPAR), 2020 |
 Towards Finding Longer ProofsInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX), 2019 |
