Jelle Wemmenhove

According to our database, Jelle Wemmenhove authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Waterproof: Educational Software for Learning How to Write Mathematical Proofs.

Jelle Wemmenhove, Dick Arends, Thijs Beurskens, Maitreyee Bhaid, Sean McCarren, Jan Moraal, Diego Rivera Garrido, David Tuin, Malcolm Vassallo, Pieter Wils, Jim Portegies

Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

Classification of Covering Spaces and Canonical Change of Basepoint.

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023

2022

Is Vanilla Policy Gradient Overlooked? Analyzing Deep Reinforcement Learning for Hanabi.

Bram Grooten, Jelle Wemmenhove, Maurice Poot, Jim Portegies

CoRR, 2022