Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Theoretical Computer Science
馃М Theoretical Computer Science
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74
posts in
12.8
ms
馃捇
CS
Brain Inspired
路
4d
4 days ago
BI 240 Cristopher Moore: Cognition and
Computational
Complexity
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for BI 240 Cristopher Moore: Cognition and Computational Complexity
馃捇
CS
arxiv.org
路
2d
2 days ago
Efficiently Representing
Algorithms
With Chain-of-Thought Transformers
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Efficiently Representing Algorithms With Chain-of-Thought Transformers
位
Lambda Encodings
youtube.com
Content type:
Video
路
2d
2 days ago
Dana Scott:
Lambda
Calculus
, Forcing and the Foundations of
Math
: #14 aboutlogic [video]
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]
鈿涳笍
Quantum Algorithms
Nature
路
3d
3 days ago
Evidence of scaling advantage on an
NP-complete
problem with enhanced quantum solvers
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Evidence of scaling advantage on an NP-complete problem with enhanced quantum solvers
馃捇
CS
nLab
路
4d
4 days ago
controllability and observability
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for controllability and observability
馃捇
CS
en.algorithmica.org
路
6d
6 days ago
Complexity
Models
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Complexity Models
馃捇
CS
thetransmitter.org
路
4d
4 days ago
Are
computational
complexity
principles relevant for explaining brain activity?
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Are computational complexity principles relevant for explaining brain activity?
馃捇
CS
arxiv.org
路
2d
2 days ago
ConsisFormer:
Compute-Efficient
Transformer for Wireless Foundation Models Based on Channel Consistency
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ConsisFormer: Compute-Efficient Transformer for Wireless Foundation Models Based on Channel Consistency
馃捇
CS
arxiv.org
路
2d
2 days ago
A Neuromorphic Reinforcement Learning Framework for Efficient Pathfinding in Robotic Mobile Fulfillment Systems
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Neuromorphic Reinforcement Learning Framework for Efficient Pathfinding in Robotic Mobile Fulfillment Systems
馃捇
CS
arxiv.org
路
3d
3 days ago
Some
Complexity
Results for Robustness
Verification
for Binarized Neural Networks
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Some Complexity Results for Robustness Verification for Binarized Neural Networks
鈿涳笍
Quantum Information
arxiv.org
路
5d
5 days ago
Semiclassical Gravity Efficiently Solves $\mathsf{
NP
}$-
Complete
Problems
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Semiclassical Gravity Efficiently Solves $\mathsf{NP}$-Complete Problems
馃捇
CS
arxiv.org
路
4d
4 days ago
On the
Complexity
of the Circuit Width Problem
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for On the Complexity of the Circuit Width Problem
馃捇
CS
arxiv.org
路
5d
5 days ago
The
Computational
Complexity
of Team Zero-Sum Games
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Computational Complexity of Team Zero-Sum Games
馃捇
CS
arxiv.org
路
5d
5 days ago
Three-Terminal Reachability-Preserving Minimum Node Cut: Planar Hardness and a General-Graph \(O(\sqrt n)\)-Approximation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Three-Terminal Reachability-Preserving Minimum Node Cut: Planar Hardness and a General-Graph \(O(\sqrt n)\)-Approximation
馃捇
CS
arxiv.org
路
3d
3 days ago
Tractable Gap-Constraint Languages for
Complex
Event Recognition
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Tractable Gap-Constraint Languages for Complex Event Recognition
馃捇
CS
arxiv.org
路
5d
5 days ago
Improved GPR-Based CSI Acquisition via Spatial-Correlation Kernel
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Improved GPR-Based CSI Acquisition via Spatial-Correlation Kernel
馃捇
CS
arxiv.org
路
6d
6 days ago
Lyapunov-Based Sample
Complexity
Analysis for Weakly-Coupled MDPs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Lyapunov-Based Sample Complexity Analysis for Weakly-Coupled MDPs
馃捇
CS
arxiv.org
路
6d
6 days ago
Algebraic Circuits Over Sum and Shift and Existential Presburger Arithmetic with Divisibility
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Algebraic Circuits Over Sum and Shift and Existential Presburger Arithmetic with Divisibility
馃捇
CS
arxiv.org
路
4d
4 days ago
Towards Leveraging
AutoML
for Sustainable Deep Learning: A Multi-Objective HPO Approach on Deep Shift Neural Networks
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Towards Leveraging AutoML for Sustainable Deep Learning: A Multi-Objective HPO Approach on Deep Shift Neural Networks
馃捇
CS
arxiv.org
路
5d
5 days ago
Variable-Rate Deep Image Compression based on Low-Rank Adaptation by Progressive Learning
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Variable-Rate Deep Image Compression based on Low-Rank Adaptation by Progressive Learning
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report