共 1 篇相关文章
Twindex工具为ODE/PDE/PINN参数拟合提供精确可回放的证明,能发现数据无法区分的“孪生”参数对,并输出JSON证书。支持SIR、药代动力学等模型,基于有界噪声假设,检查器使用有理数算术,可独立验证。