Automated Discovery of Tactic Libraries for Interactive Theorem Proving.
CoRR, March, 2025
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations.
IEEE Robotics Autom. Lett., June, 2024
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations.
CoRR, 2023