A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4(github.com)
1 pointby michaelpreid13 hours ago2 comments