Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Wemmenhove, Jelle"'
Autor:
Wemmenhove, Jelle, Arends, Dick, Beurskens, Thijs, Bhaid, Maitreyee, McCarren, Sean, Moraal, Jan, Garrido, Diego Rivera, Tuin, David, Vassallo, Malcolm, Wils, Pieter, Portegies, Jim
Publikováno v:
EPTCS 400, 2024, pp. 96-119
In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem provers, students write out their proofs inside the software using a s
Externí odkaz:
http://arxiv.org/abs/2211.13513
In pursuit of enhanced multi-agent collaboration, we analyze several on-policy deep reinforcement learning algorithms in the recently published Hanabi benchmark. Our research suggests a perhaps counter-intuitive finding, where Proximal Policy Optimiz
Externí odkaz:
http://arxiv.org/abs/2203.11656