5 citations · 9 across the 3 of their papers we have counts for
3 papers
Classification of Covering Spaces and Canonical Change of Basepoint
Jelle Wemmenhove, Cosmin Manea, Jim Portegies
Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical chan…
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
Jelle Wemmenhove, Dick Arends, Thijs Beurskens +8
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…
Is Vanilla Policy Gradient Overlooked? Analyzing Deep Reinforcement Learning for Hanabi
Bram Grooten, Jelle Wemmenhove, Maurice Poot +1
In pursuit of enhanced multi-agent collaboration, we analyze several on-policy deep reinforcement learning algorithms in the recently published Hanabi benchmark. Our research sugge…