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