Researchers from NYU and Google AI Explore Machine Learning’s Frontiers in Advanced Deductive Reasoning
The employment of numerous deduction rules and the construction of subproofs allows the complexity of proofs to develop infinitely in many deductive reasoning tasks, such as medical diagnosis or theorem proving. It is not practical to find data to cover guarantees of all sizes due to the huge proof space. Consequently, starting with basic…