Continue to push the boundaries of LLM reasoning! Excited to announce SubgoalXL, a joint effort advancing the frontier of AI-powered theorem proving between @HKUniversity (
@xlzhao_hku
, @linzhengisme
, @ikekong
) and @SambaNovaAI
. On miniF2F, a challenging theorem proving

→ View original post on X — @sambanovaai,