Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Finite Automata
🔁 Finite Automata
Specific
finite automata, DFA, NFA, state machine, automata theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
35
posts in
52.5
ms
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
🔍
RegEx Engines
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
Less-relevant results
06/09/2026 (Tuesday)
🔍
RegEx Engines
Content type:
Blog
lazydaily.bearblog.dev
·
7h
7 hours ago
Actions for 06/09/2026 (Tuesday)
Learning
Regular
Languages
with the TTT Algorithm
🔍
RegEx Engines
rahul.gopinath.org
·
1d
1 day ago
·
Hacker News
Actions for Learning Regular Languages with the TTT Algorithm
How Overweight Financials Could Benefit DFSV In A Higher Rate Environment (NYSEARCA:DFSV)
🔍
RegEx Engines
Content type:
News
seekingalpha.com
·
7h
7 hours ago
Actions for How Overweight Financials Could Benefit DFSV In A Higher Rate Environment (NYSEARCA:DFSV)
Apache Burr: Build reliable AI agents and applications
🔓
Supply Chain Attacks
burr.apache.org
·
6h
6 hours ago
·
Hacker News
Actions for Apache Burr: Build reliable AI agents and applications
Show HN: Open dataset for distilling GPU audio2face models to CPU students
🔍
RegEx Engines
huggingface.co
·
1d
1 day ago
·
Hacker News
Actions for Show HN: Open dataset for distilling GPU audio2face models to CPU students
A Class of Multipartite Entangled
States
Based on State
Transitions
🔐
Cryptography
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for A Class of Multipartite Entangled States Based on State Transitions
sparckix/cognitive-firm: A governance kernel for organizations that coordinate persistent human and AI-agent roles.
🤝
Multi-Agent Orchestration
Content type:
Code
github.com
·
1d
1 day ago
·
Hacker News
Actions for sparckix/cognitive-firm: A governance kernel for organizations that coordinate persistent human and AI-agent roles.
Passive Learning of Symbolic
Automata
over Monotonic Algebras
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Passive Learning of Symbolic Automata over Monotonic Algebras
Unlocking Feature Learning in Gated Delta Networks at Scale
🪄
Prompt Engineering
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Unlocking Feature Learning in Gated Delta Networks at Scale
Causally Evaluating the Learnability of Formal
Language
Tasks
⚡
Fast AI Inference
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Causally Evaluating the Learnability of Formal Language Tasks
Inverse Manipulation through Symbolic Planning and Residual Operator Learning
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Inverse Manipulation through Symbolic Planning and Residual Operator Learning
EditSR: Enhancing Neural Symbolic Regression via Edit-based Rectification
⚡
Fast AI Inference
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for EditSR: Enhancing Neural Symbolic Regression via Edit-based Rectification
Palindrome complexity versus factor complexity
🔤
Tokenization
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Palindrome complexity versus factor complexity
An Empirical Comparison of General Context-Free Parsers
🔤
Tokenization
Content type:
Academic
arxiv.org
·
1d
1 day ago
·
Hacker News
Actions for An Empirical Comparison of General Context-Free Parsers
Correct-by-Construction Design of Timed Systems in Event-B
🔧
Developer tools
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
Can the Environment Speak for Itself? $T^{2}$-GRPO: A Turn-Trajectory Group Relative Policy Optimization for Caregiver Agents
🧠
Agent Memory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Can the Environment Speak for Itself? $T^{2}$-GRPO: A Turn-Trajectory Group Relative Policy Optimization for Caregiver Agents
Vision-Language
Work Zone Intelligence for Safety-Critical Speed
Regulation
of Mixed-Autonomy Vehicles in Dynamic Environments
🛡️
AI Safety
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Vision-Language Work Zone Intelligence for Safety-Critical Speed Regulation of Mixed-Autonomy Vehicles in Dynamic Environments
Impedance MPC for Physical Human-Robot Interaction: Predictive Disturbance Rejection with Joint-Limit Safety
👑
Leader Election
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Impedance MPC for Physical Human-Robot Interaction: Predictive Disturbance Rejection with Joint-Limit Safety
A Held-Out
Transition-Pair
Falsifier for Long-Horizon Non-Abelian
State
Tracking
⚡
Fast AI Inference
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help