View publication by year:
- MoL-2026-01:
- Amos Nicodemus Formalizing Unsolvability Certificates for Automated Planning in Lean 4
- MoL-2026-02:
- Francijn Barbara Keur How Cultural Transmission and Individual Learning Shape the Emergence of Compositionality
- MoL-2026-03:
- Thomas van der Leer Commitments, beliefs and expectations in conversation: Understanding the effect of speech acts in logic