BriefGPT.xyz
Ask
alpha
关键词
neural abstractions
搜索结果 - 1
关于神经抽象的效率与精确性之间的权衡
神经抽象是复杂的非线性动力模型的形式近似,通过神经 ODE 和抽象神经网络与具体动力模型之间的误差的保证上界来表示。本文通过形式归纳合成过程生成动力学模型,并讨论复杂神经 ODE 的抽象以提高可达性分析的效率。
PDF
a year ago
Prev
Next