Created in August 10, 2024
2024
Our paper - Proof Automation with Large Language Models is accepted by ASE 2024!