Unverified50% confidenceSolutionExact time
LLM 与 Lean 结合的典型流程是模型生成候选证明策略，Lean 即时反馈该策略是否使目标状态合法推进，实现生成-验证循环
1
Sources
50%
Confidence
Long-term
Relevance
8/14/2026
First Seen
Sources
Related Claims
Unverified将LLM用于处理常规重复性工作、主动提出反常识追问以探索概率分布尾部，是对抗AI均值回归的实践策略70% similarUnverifiedReAct的核心思想是让LLM在生成行动之前先进行显式推理，并将执行结果作为观察反馈回模型形成闭环69% similarUnverifiedLLM路由是根据任务复杂度、成本预算和响应速度需求动态选择模型的推理优化策略，RouteLLM和LiteLLM等开源框架已在探索这一方向69% similarUnverified该研究使用「LLM作为裁判」的评估方式，只要本地模型胜出或与专有模型打平就计为一次胜利69% similarUnverifiedLLM-Blender 通过训练专用排序模型 PairRanker 来评估多个 LLM 的候选输出并融合最优结果68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/746430API
curl https://kongchang.com/api/v1/knowledge/claims/746430MCP
get_claim(id=746430)