🎯 Automata theory - matmat · Scour

Detecting and Explaining (In-)equivalence of Context-Free Grammars 🌳Context free grammars

arxiv.org·3d

Calculus of constructions 🔤Type Theory

en.wikipedia.org·18h

`auto{x} != auto(x)` ⚙Automata Theory

quuxplusone.github.io·1d

docs Unison | Abilities for the monadically inclined · Unison programming language 🧬Functional Programming

unison-lang.org·15h

research!rsc: Yacc is Not Dead 🌳Context free grammars

research.swtch.com·2d·Lobsters

But what about K? 🔗Concatenative Programming

tony-zorman.com·3d·Lobsters, Hacker News

Incremental Lambda Calculus 🔗Functional Compilers

inc-lc.github.io·2d·Hacker News

Reflection On Recursion • 1 λLambda Formalization

inquiryintoinquiry.com·6d

Metacat: a categorical framework for formal systems ✅Formal Methods

arxiv.org·2d

On Formally Undecidable Propositions of Nondeterministic Complexity and Related Classes 🔗Combinatory Logic

arxiv.org·2d

Automated Conjecture Resolution with Formal Verification 🧮Theorem Proving

arxiv.org·5d

Munkres' General Topology Autoformalized in Isabelle/HOL 🧮Algebraic Archives

arxiv.org·2d

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata 🎞️Tape Combinatorics

arxiv.org·3d

Probabilistic Language Tries: A Unified Framework for Compression, Decision Policies, and Execution Reuse 🧮Kolmogorov Bounds

arxiv.org·3d

Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy 🌳Context free grammars

arxiv.org·6d

Dynamic Longest Common Substring in Polylogarithmic Time 🧮Kolmogorov Complexity

arxiv.org·3d

A Gradual Probabilistic Lambda Calculus 🎯Gradual Typing

arxiv.org·4d

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference ⬌Bidirectional Typing

arxiv.org·4d

Assessing Large Language Models for Stabilizing Numerical Expression in Scientific Software 🏗️Compiler Archaeology

arxiv.org·5d

Evaluating In-Context Translation with Synchronous Context-Free Grammar Transduction 🌳Context free grammars

arxiv.org·3d

No more posts from matmat's subscribed feeds.

Scour all 23857 feeds Learn more about Feeds