Towards Finding Longer Proofs

von Zombori, Zsolt
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Similarity and Matching of Neural Network Representations

von Csiszárik, Adrián
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 7 of 36 (2022)