待验证50% 置信事实精确时间
L*算法由Dana Angluin于1987年提出，用于从黑盒系统中推断出最小确定性有限自动机
1
来源数
50%
置信度
长期有效
时效性
2026/9/30
首次发现
来源
涉及实体
相关事实
待验证可微分编程处理不可微离散结构的主要技术路线包括直通估计器、Gumbel-Softmax重参数化和神经网络引导的束搜索60% 相似待验证进化策略是一类黑盒优化方法，只需要能够评估某组参数的适应度函数，而不需要计算梯度59% 相似待验证感知机收敛定理证明，如果数据是线性可分的，算法一定能在有限步内找到正确的分类超平面59% 相似已验证模型蒸馏由Hinton等人于2015年系统化提出，核心是将大模型的暗知识转移给小模型，使用软概率分布作为监督信号57% 相似待验证蒙特卡洛PDE求解器的可微性来自其估计量本身是参数的光滑函数，可通过重参数化技巧或似然比方法直接获得无偏梯度估计，无需回溯大规模线性系统的中间状态57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/960990API
curl https://kongchang.com/api/v1/knowledge/claims/960990MCP
get_claim(id=960990)