.png){kind=icon}
返回
Similarity-based equational inference in physics
.png){kind=icon}
OA
AI
DOI：10.1103/PhysRevResearch.3.L042010.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Automating the derivation of published results is a challenge, in part due to the informal use of mathematics by physicists compared to that of mathematicians. Following demand, we describe a method for converting informal handwritten derivations into datasets and present an example dataset crafted from a contemporary result in condensed matter. We define an equation reconstruction task completed by rederiving an unknown intermediate equation posed as a state, taken from three consecutive equational states within a derivation. Derivation automation is achieved via computer algebra system (CAS) by applying string-based CAS-reliant actions to states, which mimic mathematical operations and induce state transitions. We implement a symbolic similarity-based heuristic search to solve the equation reconstruction task as an early step towards multi-hop equational inference in physics.
期刊
IF:
4.2
论文数:
7.6K
被引数:
2.7W
机构
引用论文
Searching for exotic particles in high-energy physics with deep learning用深度学习寻找高能物理中的奇异粒子.png)
NATURE COMMUNICATIONS
NATURE COMMUNICATIONSIF15.7
PREAI
分享收藏A Coupled Resonator Decoupling Network for Two-Element Compact Antenna Arrays in Mobile Terminals
PREAI
分享收藏An Energy-Conserving and Collision-Free MAC Protocol Based on TDMA for Wireless Sensor Networks
PREAI
分享收藏
Expression of epidermal growth factor and its receptor in rabbits with ischaemic acute renal failure
PREAI
分享收藏分享收藏
查看更多内容