Newsroom

FDS Special Seminar: Orr Paradise (Berkeley), “Models that prove their own correctness”

Abstract: This talk introduces Self-Proving models, a new class of models that formally prove the correctness of their outputs via an Interactive Proof system. […]