Pinned Loading

1. linglib linglib Public

   A Lean 4 library for formal linguistics.

   Lean 22 1

2. tangrams tangrams Public

   experiment, data, and analysis code for "Characterizing the dynamics of learning in repeated reference games"

   HTML 12 9

3. generalizing_meanings generalizing_meanings Public

   code and materials for "Generalizing meanings from partners to populations"

   TeX 2 1

4. continual-adaptation continual-adaptation Public

   Code and data for CoNLL paper "Continual Adaptation for Efficient Machine Communication"

   Jupyter Notebook 2 1