SubgoalXL: Pushing the Boundaries of LLM in Formal Theorem Proving

Written by Xueliang Zhao, Lin Zheng, Lingpeng Kong | September 3, 2024

SubgoalXL represents a significant step forward in the field of AI-powered theorem proving.

View full post