Items where Year is 2025

DS-2025-04: Anttila, Aleksi (2025) Not Nothing: Nonemptiness in Team Semantics. Doctoral thesis, Universiteit van Amsterdam.

MoL-2025-14: Chen, Zhirui (2025) ROBIN, A TYPE OF CAT: Investigating Hypernymy in Unimodal and Multimodal Models with Contrastive Learning. [Report]

DS-2025-01: Chingoma, Julian (2025) On Proportionality in Complex Domains. Doctoral thesis, Universiteit van Amsterdam.

MoL-2025-20: Chiu, Shing Yau Simon (2025) Using Zippers for Nested Sequents with Focus. [Report]

DS-2025-03: Choenni, Rochelle (2025) Multilinguality and Multiculturalism: Towards more Effective and Inclusive Neural Language Models. Doctoral thesis, Universiteit van Amsterdam.

HDS-43: Corstius, Hugo Brandt (2025) Exercises in Computational Linguistics. Doctoral thesis, Universiteit van Amsterdam.

X-2025-02: Dekker, Paul (2025) Conceptually Grounded Quantification. [Report]

X-2025-04: Dekker, Paul (2025) Talk about things non-existent. [Report]

X-2025-03: Endriss, Ulle (2025) Simple Measures to Improve Accountability in Peer Review for Large AI Conferences. [Report]

DS-2025-02: Grinko, Dmitry (2025) Mixed Schur-Weyl duality in quantum information. Doctoral thesis, Universiteit van Amsterdam.

MoL-2025-13: Hernández, Laura (2025) The Epistemology of Privacy. [Report]

X-2025-01: Heyting, Arend (2025) La Conception Intuitionniste de la Logique. [Pre-print]

MoL-2025-05: Hornung, Lorenz (2025) Reasoning About Legal Concepts with Propositional Dependence Logic. [Report]

MoL-2025-15: Huang, Yunchong (2025) “Who won the last elections?” Detecting Underspecified Queries in Question Answering with LLMs. [Report]

MoL-2025-06: Jiang, Ruiting (2025) Truth and Dependence. [Report]

DS-2025-08: Klumper, Sophie (2025) The Gap and the Gain: Improving the Approximate Mechanism Design Frontier in Constrained Environments. Doctoral thesis, Universiteit van Amsterdam.

MoL-2025-04: Kristjánsson, Arnar Ágúst (2025) Expressive Power of Homomorphism Query Algorithms. [Report]

DS-2025-06: Leidinger, Alina (2025) Towards Language Models that benefit us all: Studies on stereotypes, robustness, and values. Doctoral thesis, Universiteit van Amsterdam.

MoL-2025-07: Li, Minzhe (2025) Theoretical Equivalence as Representational Equivalence. [Report]

MoL-2025-17: Miller, Kira G. B. (2025) An Eye for an ’I’: Investigating the Relationship between Embodiment and Agency and the Possibilities for Artificial Intelligence Models. [Report]

DS-2025-05: Neumann, Niels M. P. (2025) Adaptive Quantum Computers: decoding and state preparation. Doctoral thesis, Universiteit van Amsterdam.

MoL-2025-18: Riedmiller, Clara Zoe (2025) Exploring the Computational Necessity of Dual Processes for Intelligence. [Report]

MoL-2025-11: Saarinen, Joel Artturi (2025) Limits of Solomonoff Induction. [Report]

MoL-2025-08: Scha, Fatima (2025) The paradoxicality of Curry. [Report]

MoL-2025-03: Skaisgiris, Paulius (2025) Inductive Learning of Temporal Advice Formulae for Guiding Planners. [Report]

MoL-2025-16: Takahashi, Tenyo (2025) Union-splittings, the Axiomatization Problem, and the Rule Dichotomy Property in Modal Logic. [Report]

MoL-2025-12: Volpe, Stefano (2025) Higher Inductive Types Via Impredicative Encodings. [Report]

MoL-2025-10: Xiong, Fangjing (2025) The Strength of Compositional Truth. [Report]

MoL-2025-09: Yaron, Eshel S. (2025) Lean Binary Decision Diagrams. [Report]

DS-2025-07: Zhang, Zhi (2025) Advancing Vision and Language Models through Commonsense Knowledge, Efficient Adaptation and Transparency. Doctoral thesis, Universiteit van Amsterdam.

HDS-42: de Champeaux de Laboulaye, D.M.G. (2025) Algorithms in Artificial Intelligence. Doctoral thesis, Universiteit van Amsterdam.

MoL-2025-01: dos Santos Gomes, Djanira (2025) Virtual Group Knowledge on Topological Evidence Models. [Report]

MoL-2025-19: du Toit, Simeon (2025) Cornelius Van Til’s Presuppositional Epistemology as a New Model for Deep Disagreement: Relations to and Improvements on Quasi-Fideism. [Report]

MoL-2025-02: van der Schaaf, Jonas (2025) AKE-principles for deeply ramified fields. [Report]