nd machine learning. The authors propose a new method for planning reasoning steps over a collection of facts purely based on vector arithmetic. 

The core assertion is that an efficient planning heuristic for multi-step claim validation can be achieved via embedding spaces compatible with deductive reasoning. The authors introduce the concept of "deductive additivity", which suggests that the sum of premise statement embeddings should be close to embeddings of conclusions based on those premises. 

The aut