论文09:29开源权重LLM能生成内核验证的Coq证明吗？初步研究这几个开源模型里Gemma 4最会写Coq证明，但100道题也只过12道，别指望它们太靠谱。#Coq#Gemma 4#Llama 3.3#DeepSeek CoderaarXiv: DeepSeek@Ahmed Ryan 等 4 人原文稍后读已读值得跟进有用关注 Coq