TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

von Wu, Minchao
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 12 of 36 (2022)

Optimizing Sequential Experimental Design with Deep Reinforcement Learning

von Blau, Tom
Veröffentlicht in International Conference on Machine Learning (39. : 2022 : Baltimore, Md.; Online) International Conference on Machine Learning (ICML 2022) ; Part 3 of 33 (2023)

DISENTANGLED BEHAVIOURAL REPRESENTATIONS

von Dezfouli, Amir
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 3 of 20 (2020)