Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series
VirtualNew 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 have […]