Recent Theses

On the ILLC site you may find a full list of ILLC research reports and dissertations. Additionally, the electronic archives may also be accessed by using the Search Form of the ILLC Eprints server.

MoL-2025-17:
Kira G. B. Miller An Eye for an ’I’: Investigating the Relationship between Embodiment and Agency and the Possibilities for Artificial Intelligence Models
MoL-2025-16:
Tenyo Takahashi Union-splittings, the Axiomatization Problem, and the Rule Dichotomy Property in Modal Logic
MoL-2025-15:
Yunchong Huang “Who won the last elections?” Detecting Underspecified Queries in Question Answering with LLMs
MoL-2025-14:
Zhirui Chen ROBIN, A TYPE OF CAT: Investigating Hypernymy in Unimodal and Multimodal Models with Contrastive Learning
MoL-2025-13:
Laura Hernández The Epistemology of Privacy
MoL-2025-12:
Stefano Volpe Higher Inductive Types Via Impredicative Encodings
MoL-2025-11:
Joel Artturi Saarinen Limits of Solomonoff Induction
MoL-2025-10:
Fangjing Xiong The Strength of Compositional Truth
MoL-2025-09:
Eshel S. Yaron Lean Binary Decision Diagrams
MoL-2025-08:
Fatima Scha The paradoxicality of Curry