Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 Discrete Math
Logic, Proofs, Set Theory, Graph Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81252
posts in
353.2
ms
The
Condensate
Theorem
: Transformers are O(n), Not $O(n^2)$
arxiv.org
·
1d
🧩
Algorithms
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
16h
🧩
Algorithms
**Abstract:** This paper introduces a novel system, Geometric Reasoning Engine (
GRE
), for automatically generating and verifying proofs in high school
geomet
...
freederia.com
·
6d
🧩
Algorithms
**Abstract:** This research proposes a novel methodology for accelerating
theorem
proving
within the Lean 4 proof assistant by directly optimizing the formal...
freederia.com
·
5d
🧩
Algorithms
A
pulmonary
embolism
tied to colorectal cancer killed Catherine O’Hara. Here’s how common the event is among cancer patients
the-independent.com
·
37m
🤖
Automation
Wealth
Management Stocks
Crater
After AI Tax-Planning Tool Announcement
forbes.com
·
47m
🤖
Automation
Olympian
Amber
Glenn settles copyright issue with Canadian artist
thehill.com
·
48m
📈
Productivity
Images And Video Of
Masked
Person At Nancy
Guthrie
’s Front Door Released (Live Updates)
forbes.com
·
50m
🧩
Algorithms
Ron Carter &
Ricky
Dillard
– Sweet, Sweet Spirit (2026)
exystence.net
·
32m
🧩
Algorithms
The Super Mario Galaxy Movie Promises A Game
Accurate
Rivalry
Is Coming
screenrant.com
·
27m
🌿
Git
Congress
moves to set national rules for self-driving cars,
overriding
states
foxnews.com
·
37m
🤖
Automation
Violence
erupts
as anti-Israel protesters target president’s Australia visit weeks after Bondi Beach
massacre
foxnews.com
·
48m
🧮
Math
Gabbard
’s office warns attorney not to share
classified
complaint with Congress
thehill.com
·
42m
📝
Note Taking
ACLU
’s Lawsuit Over ICE Raid at an Idaho
Racetrack
Could Be a Game Changer
motherjones.com
·
28m
📈
Productivity
United States
Antimony
Corporation Announces New Joint Venture With
Americas
Gold and Silver
bloomberg.com
·
41m
📝
Note Taking
Zillow
Profit View
Misses
on Cool Housing Market, Legal Costs
bloomberg.com
·
43m
📈
Productivity
Rockaway
pols
blast MTA over sorry state of end-of-line subway station
gothamist.com
·
12m
🧮
Math
Brooklyn designer says he had no idea Lady
Gaga
would wear his
dress
at the Super Bowl
gothamist.com
·
12m
📝
Note Taking
Gov
. Tim
Walz
says federal immigration crackdown in Minnesota could end within days
yahoo.com
·
36m
💻
Programming
Klint
Kubiak
: I’m going to be calling Tom Brady a lot
nbcsports.com
·
33m
📝
Note Taking
Loading...
Loading more...
« Page 25
•
Page 27 »
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
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