Feeds to Scour
SubscribedAll
Scoured 94 posts in 26.6 ms
Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation  🔗Combinatory Logic
arxiv.org·1d
The Complexity of Nested Reset Counter Systems  🎞️Tape Combinatorics
arxiv.org·6d
The Expressive Power of Low Precision Softmax Transformers with (Summarized) Chain-of-Thought  🔗Parser Combinators
arxiv.org·2d
Eliminating reversals from cubical type theories  🔶Cubical Type Theory
arxiv.org·6d
Nash Welfare in Additively Separable Hedonic Games  🔲Cellular Automata
arxiv.org·1d
Parameterized Hardness of Zonotope Containment and Neural Network Verification  🎯Performance Proofs
arxiv.org·2d
On the parameterized complexity of Broadcast Independence and Broadcast Packing  🧮Kolmogorov Complexity
arxiv.org·3d
Satisfiability for Knowing How over Linear Plans is NP-complete  🧮Constraint SMT
arxiv.org·1d
Constructive higher sheaf models with applications to synthetic mathematics  🏗️Constructive Mathematics
arxiv.org·6d
Computing the Arc-Deletion Distance to Orchard Networks is NP-hard  🔗Topological Sorting
arxiv.org·1d
Exact Linear Attention  📊Learned Metrics
arxiv.org·1d
Min-1-Planarity is NP-Hard  🎨Graph Coloring
arxiv.org·6d
A Novel Urban Flood Dynamical System Model and a Corresponding Nonstandard Finite Difference Method  🔲Cellular Automata
arxiv.org·1d
The Robotaxi Placement Problem: Minimizing Expected ETA for Stochastic Demand  📈Linear programming
arxiv.org·3d
Independent Set Reconfiguration Under Bounded-Hop Token  🎯Performance Proofs
arxiv.org·2d
End-to-End Formalization of Quantum Error Correction  ⚛️Quantum Error Correction
arxiv.org·2d
The Collapse of Unentangled Stoquastic Merlin-Arthur Proof Systems  👑Coq Tactics
arxiv.org·3d
Modelling Network Resilience: The Complexity of Some Graph Division Games  🔲Cellular Automata
arxiv.org·2d
Optimizing Line Segment Inspection with Limited-Range Drones  🏺Computational Archaeology
arxiv.org·3d
Understanding CDCL Solvers via Scalability Studies and Proofdoors  🎯Performance Proofs
arxiv.org·3d

No more posts from matmat's subscribed feeds.

Scour all 24650 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help