MoL-2026-01: Nicodemus, Amos (2026) Formalizing Unsolvability Certificates for Automated Planning in Lean 4. [Report]
DS-2026-01: Eikema, Bryan (2026) A Sampling-Based Exploration of Neural Text Generation Models. Doctoral thesis, ILLC.
DS-2026-02: Folkertsma, Marten (2026) Empowering Quantum Computation with: Measurements, Catalysts, and Guiding States. Doctoral thesis, Universiteit van Amsterdam.
DS-2026-06: Kashaev, Danish (2026) Approximation via duality in offline, online and strategic settings. Doctoral thesis, University of Amsterdam.
DS-2026-05: Kloibhofer, Johannes (2026) Cycles with Annotations: Non-Wellfounded Proof Theory of Modal Fixpoint Logics. Doctoral thesis, University of Amsterdam.
DS-2026-03: Richard, Valentin (2026) Presuppositional and Dynamic Aspects of Questions. Doctoral thesis, ILLC.
DS-2026-04: Yang, Puyu (2026) Bringing Science to the Public: The Role of Wikipedia in Scientific Communication. Doctoral thesis, ILLC.
![[up]](/style/images/multi_up.png)
Up a level