📼 Tape Algebra - matmat · Scour

Causally Evaluating the Learnability of Formal Language Tasks

⚙Automata Theory Academic

Show HN: TuringLLM – a LLM-powered Universal Turing machine

💻CS Code

github.com··Hacker News

Less-relevant results

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

🧬Functional Programming News

developing.dev·

Turing universal neural networks do not require global clocks

💻CS Academic

nature.com··Hacker News

On Architecture Research

On the Complexity of the Bi-infinite Post Correspondence Problem

💻CS Academic

fantasyland/fantasy-land: Specification for interoperability of common algebraic structures in JavaScript

🔲Proof Irrelevance Code

github.com··Hacker News

Markovian dynamics of single-rebit open quantum systems with applications to colour perception

⚛️Quantum Information Academic

Weighing Timed Regular Languages: The Final Step (long version)

💻CS Academic

Compiling Rewrite Rules to Finite-State Transducers with the Worsening Trick

📼Cassette Linguistics Academic

Palindrome complexity versus factor complexity

💻CS Academic

Stein's method for the Wishart distribution

🌀Differential Geometry Academic

Another Legacy of Andrzej Kossakowski: A Self-Contained Derivation of the GKLS Equation

⚛️Information Physics Academic

A remark on diagnosability verification

💻CS Academic

Passive Learning of Symbolic Automata over Monotonic Algebras

💻CS Academic

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

⚙Automata Theory Academic

An Empirical Comparison of General Context-Free Parsers

💻CS Academic

arxiv.org··Hacker News

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

💻CS Academic

Layerwise Terminal Discrepancy in Chen's Reverse-Heat Coupling on the Boolean Cube

🎯Performance Proofs Academic

A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking

💻CS Academic

Log in to enable infinite scrolling