Jelle Wemmenhove

According to our database, Jelle Wemmenhove authored at least 5 papers between 2022 and 2025.

Collaborative distances:

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

2025

Service Design for the Improvement of Intelligent Tutoring Systems: A Case Study.

Jelle Wemmenhove, Dorina Bór, Rianne Conijn, Jim Portegies

J. Comput. Assist. Learn., 2025

2024

Formalization of Classification of Covering Spaces and Canonical Change of Basepoint in HoTT.

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

Dataset, November, 2024

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