🌳 Context free grammars - matmat · Scour

DALM: A Domain-Algebraic Language Model via Three-Phase Structured Generation 📐Binary Grammars

LL and LR in Context: Why Parsing Tools Are Hard 📝Parsing Grammars

blog.reverberate.org·4d

An Algorithmic Reconstruction of Normalisation by Evaluation ⬆️Lambda Lifting

yangzhixuan.github.io·3d·Lobsters, Hacker News

Effekt Language: Effectful Recursion Schemes λLambda Formalization

effekt-lang.org·5d·Lobsters

Language Modeling Without Neural Networks 📝Text Compression

nathan.rs·5d·Hacker News

Algebra of Contexts 🔢Denotational Semantics

neurons-me.github.io·4d·r/programming

Forbidden-Context & Ordered Grammar Systems 📐Format Grammars

Reasoning Primitives in Hybrid and Non-Hybrid LLMs 🧮Constraint SMT

Diagnosing CFG Interpretation in LLMs 🔗Constraint Handling

The classification of minimally unsatisfiable 2-CNFs -- a fundamental study 🔗Combinatory Logic

Knowledge Capsules: Structured Nonparametric Memory Units for LLMs 💻Local LLMs

LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation 🔗Functional Compilers

The Root Theorem of Context Engineering 🛡️Proof-Carrying Data

Common Foundations for Recursive Shape Languages 🔤Type Theory

Less Languages, Less Tokens: An Efficient Unified Logic Cross-lingual Chain-of-Thought Reasoning Framework 📏Linear Logic

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set 🔗Combinatory Logic

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants 🧮Theorem Proving

Automatic constraint satisfaction problem 🧮Constraint SMT

Tool Learning Needs Nothing More Than a Free 8B Language Model 🤖Grammar Induction

Logical Computational Linguistics 🧮Prolog Parsing

Log in to enable infinite scrolling