A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

(github.com)

1 points | by michaelpreid1 9 hours ago ago

2 comments