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
Formal Languages
📐 Formal Languages
automata theory, grammars, parsing, Chomsky hierarchy
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
33
posts in
4.7
ms
Palindrome complexity versus factor complexity
💬
LLMs
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Palindrome complexity versus factor complexity
Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
✓
Formal Verification
Content type:
Academic
arxiv.org
·
23h
23 hours ago
Actions for Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
Causally Evaluating the Learnability of
Formal
Language
Tasks
💬
LLMs
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Causally Evaluating the Learnability of Formal Language Tasks
A remark on diagnosability verification
✓
Formal Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A remark on diagnosability verification
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
🧩
Neural-Symbolic AI
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
Passive Learning of Symbolic
Automata
over Monotonic Algebras
✓
Formal Verification
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Passive Learning of Symbolic Automata over Monotonic Algebras
Synthics: Synthetic Physics-like Datasets for
Machine
Learning
💬
LLMs
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Synthics: Synthetic Physics-like Datasets for Machine Learning
Earliest query answering over streamed trees
💬
LLMs
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Earliest query answering over streamed trees
A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian
State
Tracking
✓
Formal Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
Dynamics in a Low-Rank Separable Field Cellular
Automaton
🃏
Imperfect Information Games
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Dynamics in a Low-Rank Separable Field Cellular Automaton
Don't Pause: Streaming
Video-Language
Synchrony for Online Video Understanding
💬
LLMs
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding
Correct-by-Construction Design of Timed Systems in Event-B
✓
Formal Verification
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
Why Muon Outperforms Adam: A Curvature Perspective
💬
LLMs
Content type:
Academic
arxiv.org
·
6d
6 days ago
·
DEV
Actions for Why Muon Outperforms Adam: A Curvature Perspective
« Page 1
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