HN Explorer

michaelpreid1

↗ HN profile [ 406 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Cerberus MCP – Flash and sandbox beats Argon 100% vs. 50% on ARC-AGI-2 (github.com)
    1 points 0
  2. A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4 (github.com)
    2 points 0