Induction with Generalization in Superposition Reasoning

von Hajdú, Marton
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

Inductive Benchmarks for Automated Reasoning

von Hajdu, Märton
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)