Similarity-Based Equational Inference in Physics

Abstract

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 hand-written 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 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.

References in corpus (19)

• Hidden Physics Models: Machine Learning of Nonlinear Partial Differential Equations
• Searching for Exotic Particles in High-Energy Physics with Deep Learning
• Big Data meets Quantum Chemistry Approximations: The $\Delta$-Machine Learning Approach
• Many-body quantum state tomography with neural networks
• Machine-learning based interatomic potential for amorphous carbon
• Machine learning in cardiovascular flows modeling: Predicting arterial blood pressure from non-invasive 4D flow MRI data using physics-informed neural networks
• A Comprehensive Physics-Informed Machine Learning Framework for Predictive Turbulence Modeling
• Physics-Informed Machine Learning Approach for Augmenting Turbulence Models: A Comprehensive Framework
• Discovering physical concepts with neural networks
• Anomaly Detection for Resonant New Physics with Machine Learning
• Integration of Neural Network-Based Symbolic Regression in Deep Learning for Scientific Discovery
• Non-covalent interactions across organic and biological subsets of chemical space: Physics-based potentials parametrized from machine learning
• Machine learning materials physics: Integrable deep neural networks enable scale bridging by learning free energy functions
• Toward an AI Physicist for Unsupervised Learning
• A General Deep Learning Framework for Network Reconstruction and Dynamics Learning
• Manipulating type-I and type-II Dirac polaritons in cavity-embedded honeycomb metasurfaces
• Symbolic Pregression: Discovering Physical Laws from Distorted Video
• Automatic Derivation Of Formulas Using Reforcement Learning
• Learning Equational Theorem Proving