🔄 Finite State Machines - tiferrei · Scour

Games Between Programs: The Ruliology of Competition

🎮Verification Games

writings.stephenwolfram.com··Hacker News, Hacker News

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

💻CS Academic

Learning Regular Languages with the TTT Algorithm

📚Automata Learning

rahul.gopinath.org··Hacker News

Open source building blocks for computational design. Est. 2006

🔤Language Design

thi.ng··Hacker News

Matrix – An installable Python CLI package for cross-device session jumping

⚙️Compiler Design Code

github.com··Hacker News

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

⏰Timed Automata Academic

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

💻CS Academic

On the Complexity of the Bi-infinite Post Correspondence Problem

💻CS Academic

Passive Learning of Symbolic Automata over Monotonic Algebras

💻CS Academic

Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding

🧠Apple Neural Engine Academic

Layer Order Semantics for Automata-Based Cybersecurity

💻CS Academic

Palindrome complexity versus factor complexity

💻CS Academic

Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties

💻CS Academic

A remark on diagnosability verification

💻CS Academic

Correct-by-Construction Design of Timed Systems in Event-B

⏰Timed Automata Academic

Causally Evaluating the Learnability of Formal Language Tasks

💻CS Academic

An Empirical Comparison of General Context-Free Parsers

💻CS Academic

arxiv.org··Hacker News

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

💻CS Academic

Earliest query answering over streamed trees

💻CS Academic

Dynamics in a Low-Rank Separable Field Cellular Automaton

💻CS Academic

No more posts from tiferrei's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling