Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series
Virtualhttps://youtu.be/qC60ZgsIFvk New Technologies in Mathematics Seminar Speaker: Huajian Xin, DeepSeek Title: Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series Abstract: Recent advances in large language models […]