ARTICLE Meadows_PRR_2021/IDIAP Similarity-Based Equational Inference in Physics Meadows, Jordan Freitas, Andre Physics Review Research 2021