Goedel-Prover-V2: The Strongest Open-Source Theorem Prover to Date Luncheon Speaker Series Chi Jin, Princeton University September 29, 12:00 pm – September 29, 1:05 pm Bendheim House, 103 See event website for additional details and how to view or participate.
AI at Princeton Princeton Engineers lead nimble, high-intensity research teams that cross disciplines to accelerate discovery in artificial intelligence
