https://qwq32.com/blog/deepseek-prover-v2
DeepSeek Prover V2: A New Era in Automated Theorem Proving | QWQ AI
Introducing DeepSeek Prover V2, a groundbreaking advancement in automated theorem proving. Learn about its enhanced capabilities and improved performance.
a new eraautomated theorem provingdeepseek prover
https://group-mmm.org/eratommsd/postdoc-researcher-theorem-proving-for-automated-driving-oct-2022/
PostDoc Researcher (Theorem Proving for Automated Driving, Oct 2022) (Closed) – MTSS Center, NII
postdoc researchertheorem provingautomated drivingoctclosed