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
Mathematics
馃敘 Mathematics
Broad
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
50
posts in
6.8
ms
Moduli Space of Sheaves and
Categorified
Commutator of Functors
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
20h
20 hours ago
Actions for Moduli Space of Sheaves and Categorified Commutator of Functors
AI Academic Brain vs. AI Founder Brain
聽
馃
Philosophy
fchaubard.github.io
路
6d
6 days ago
路
Hacker News
Actions for AI Academic Brain vs. AI Founder Brain
Alternative Inductive
Proof
of Dilworth's
Theorem
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for Alternative Inductive Proof of Dilworth's Theorem
Explicit and asymptotically good constructions of
Algebraic
Geometry
codes in the sum-rank metric
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Explicit and asymptotically good constructions of Algebraic Geometry codes in the sum-rank metric
Trainability of IQP Quantum Circuit Born Machines Under Gaussian Initialization
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
20h
20 hours ago
Actions for Trainability of IQP Quantum Circuit Born Machines Under Gaussian Initialization
A Kernel-Clean Lean Mechanization of Classical Lottery in Action and the Wakker--Debreu--Koopmans Representation Layer
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for A Kernel-Clean Lean Mechanization of Classical Lottery in Action and the Wakker--Debreu--Koopmans Representation Layer
Goedel-Architect: Streamlining Formal
Theorem
Proving with Blueprint Generation and Refinement
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
5d
5 days ago
Actions for Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
Learning Transfers: Kan Extensions for Neural Invariants
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Learning Transfers: Kan Extensions for Neural Invariants
A unified abstract regularity
lemma
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
5d
5 days ago
Actions for A unified abstract regularity lemma
Asymptotic Optimality of Thompson Sampling for Risk-Averse Bandits with Sub-Gaussian Rewards
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Asymptotic Optimality of Thompson Sampling for Risk-Averse Bandits with Sub-Gaussian Rewards
Optimizing the Cost-Quality Tradeoff of Agentic
Theorem
Provers in Lean
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
6d
6 days ago
Actions for Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
Positive Instantial Neighbourhood logic
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Positive Instantial Neighbourhood logic
LeanMarathon: Toward Reliable AI
Co-Mathematicians
through Long-Horizon Lean Autoformalization
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
5d
5 days ago
Actions for LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Exact output statistics of Icart's encoding in the exceptional \(j=0\) case
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for Exact output statistics of Icart's encoding in the exceptional \(j=0\) case
Tomography of quantum states with bounded extent
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for Tomography of quantum states with bounded extent
Strict stability of extension types
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Strict stability of extension types
Smooth Hard-Thresholding for Singular Values with Stein's Unbiased Risk Estimate
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for Smooth Hard-Thresholding for Singular Values with Stein's Unbiased Risk Estimate
The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf
Topoi
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi
Pull-back and push-forward functors for holonomic modules over Cherednik
algebras
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
6d
6 days ago
Actions for Pull-back and push-forward functors for holonomic modules over Cherednik algebras
A
Topological
Characterization of Graph Neural Networks via Stochastic Block Model Embeddings on the n-Sphere
聽
馃敘
Set Theory
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for A Topological Characterization of Graph Neural Networks via Stochastic Block Model Embeddings on the n-Sphere
« Page 1
路
Page 3 »
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