待验证50% 置信事实精确时间
反编译是从已知输出（机器码运行结果）通过猜测-验证循环倒推产生该结果的源代码的过程
1
来源数
50%
置信度
长期有效
时效性
2026/10/10
首次发现
来源
涉及实体
相关事实
待验证自回归生成是指模型每次根据前面已有的所有token来预测下一个token，逐步展开直到生成完整代码块68% 相似待验证该证明智能体采用大语言模型与形式化验证器交互的架构：LLM生成证明策略序列，Lean编译器实时验证每一步推理，失败时根据错误信息调整，形成生成-验证-修正的闭环67% 相似待验证对于静态不变的知识源，与其在每次推理时重复编码，不如将编码结果预计算并缓存为可复用的记忆67% 相似待验证当编译假设被打破时，Truffle会触发去优化，回退到解释器重新收集信息，再决定是否重新编译67% 相似待验证变分回复生成器引入变分自编码器思想，在编码器和解码器之间加入隐变量，隐变量服从某种概率分布并在生成时采样以带来多样性66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/995193API
curl https://kongchang.com/api/v1/knowledge/claims/995193MCP
get_claim(id=995193)