AI Research · research

Compiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem Proving

论文摘要：Compiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem Proving：围绕大语言模型的能力、评测或对齐问题展开，适合关注方法与实验结果。

首次发现 2026-08-20T22:05:33Z · 最近更新 2026-08-21T03:56:19Z · 置信度 high · 重要性 7.5

为什么重要

该论文来自一手研究源并通过 3qk7 Research Radar 的新鲜度、来源与研究价值筛选；后续代码、模型权重、复现和相关产品事件可继续关联到该记录。

检测到的变化

研究论文进入 3qk7 高价值 Research Radar

一手证据

arXiv cs.CL · 2026-08-21T03:56:19Z