DSP Student scholarship (No funding) agreement Sean Lamont- Enabling Automated Program Verification through Deep Reinforcement Learning

Interactive Theorem Proving (ITP) is a paradigm of formal methods where a human interacts with a system to generate formal proofs of logical statements