| ▲ | A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4(github.com) | |
| 1 points by michaelpreid1 8 hours ago | 2 comments | ||
| ▲ | michaelpreid1 6 hours ago | parent | next [-] | |
[flagged] | ||
| ▲ | michaelpreid1 8 hours ago | parent | prev [-] | |
[flagged] | ||