Co-Linguistics: AI-augmented Theory Construction in Linguistics

arXiv:2609.37635 · cs.CL · Submitted 2026-09-29 · Read on arXiv

cs.CL

Submitted: 2026-09-29

Updated: 2026-09-29

Project page: https://leanprover-community.github.io/papers/mathlib-paper.pdf

Terminology

• Axioms — 4× in this paper · explained in 2 episodes
• Parsimony — 4× in this paper · explained in 2 episodes
• Active Learning — 2× in this paper · explained in 6 episodes
• Empirical Coverage — 2× in this paper · explained in 2 episodes
• Generative AI — 2× in this paper · explained in 2 episodes
• Pragmatics — 2× in this paper · explained in 2 episodes
• Accuracy — 1× in this paper · explained in 1 episode
• Adam — 1× in this paper · explained in 2 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• Interpretability — 1× in this paper · explained in 15 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• Large Linguistic Models: Investigating LLMs' metalinguistic abilities
• BabyLM Turns 4 and Goes Multilingual: Call for Papers for the 2026 BabyLM Workshop
• EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research
• Newton to Einstein: Axiom-Based Discovery via Game Design
• Measuring Form and Function in Language Models
• ScienceBuddy: Recursive-in-Recursive Self-Improvement for Interactive Scientific Agents
• CogGym: Towards Large-Scale Comparative Evaluation of Human and Machine Cognition

Related papers

• Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
• Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
• Subliminal Steering: Stronger Encoding of Hidden Signals
• MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
• The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
• Untangling the Mechanisms of Misleading Context in Medical Question Answering