Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
Resources on quantifiably forecasting future progress or reviewing past progress in AI safety?
lesswrong.com·6d
Loading...Loading more...
Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools