Our research with @HKUniversity
, the SubgoalXL is advancing the frontier of #AI-powered theorem proving. Explore the framework & results below  GitHub: 
https://
bit.ly/3ZnnFhI
 Datasets & Models: 
https://
bit.ly/3ZKF3gD
 Paper: 
https://
bit.ly/3ZHYCXS #NeurIPS2024

→ View original post on X — @sambanovaai,