Left to the Reader: Abstracting Solutions in Mathematical Reasoning.

Gabriel Poesia Reis e Silva Noah D. Goodman

Published in: CogSci (2022)

Keyphrases

optimal solution
knowledge base
solution quality
reasoning process
case study
reasoning systems
decision trees
default reasoning
analogical reasoning
mathematical proofs