Check out our work: GitHub: https://
github.com/zhaoxlpku/Subg
oalXL
… Datasets & Models: https://
huggingface.co/collections/xl
-zhao/subgoalxl-66c84b77e0eaf131c0cdac15
… Paper: https://
arxiv.org/abs/2408.11172
Join us in pushing the boundaries of AI reasoning! #AI #LLM #SubgoalXL #AIResearch #ProofFormalization #MachineAssistedProofs

→ View original post on X — @sambanovaai,