Data-driven method to learn the most probable transition pathway and stochastic differential equations

由于噪声波动，亚稳态之间的过渡现象在复杂系统中发挥着重要作用。在本文中，提出了物理通知神经网络（PINN）来计算最可能的转换路径。结果表明，预期损失受经验损失的限制 ...

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning

类人自动演绎推理一直是数学与人工智能交叉学科中最具挑战性的开放问题之一。本文是我们系列作品中的第三篇。我们构建了一个名为 FGeoDRL 的神经符号系统，可以自动执行类似人类的几何演绎推理 ...

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

这是我们过去三年来完成的一系列工作中的第一篇论文。在本文中，我们构建了一个一致的形式平面几何系统。这将成为 IMO 级平面几何挑战和可读的人工智能自动推理之间的重要桥梁 ...