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
math
➗ math
Broad
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
219
posts in
16.4
ms
Evaluating Research-Level
Math
Proofs
via Strict Step-Level Verification
🤖
Automated Reasoning
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Evaluating Research-Level Math Proofs via Strict Step-Level Verification
The Modal
Logic
of Forcing and
Set-theoretic
Potentialism, Peking University lectures, June/July 2026
∀
Mathematical Logic
jdh.hamkins.org
·
2d
2 days ago
Actions for The Modal Logic of Forcing and Set-theoretic Potentialism, Peking University lectures, June/July 2026
The Floer Jungle
⚛️
Physics
Content type:
Academic
math.columbia.edu
·
5d
5 days ago
·
Hacker News
Actions for The Floer Jungle
Consciousness as a fundamental property of reality
⚛️
Physics
ctmucommunity.org
·
2d
2 days ago
·
r/PhilosophyofMind
Actions for Consciousness as a fundamental property of reality
LLL Algorithm for Computer Scientists
🔢
Number Theory
Content type:
Blog
leetarxiv.substack.com
·
6d
6 days ago
·
Substack
,
r/programming
Actions for LLL Algorithm for Computer Scientists
The Standard Model from a CM Point and the Exceptional Jordan
Algebra
⚛️
Physics
zenodo.org
·
4d
4 days ago
·
r/LLM
Actions for The Standard Model from a CM Point and the Exceptional Jordan Algebra
Secure Computation against $\
mathsf
{NC^1}$ Leakage without Secure Hardware
🔐
Cryptography
eprint.iacr.org
·
1d
1 day ago
Actions for Secure Computation against $\mathsf{NC^1}$ Leakage without Secure Hardware
A quiver approach to quasi-quantum groups with the Chevalley property
🔷
Category Theory
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for A quiver approach to quasi-quantum groups with the Chevalley property
TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified
proof
that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
🤖
Automated Reasoning
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
Fixed-Threshold One-Bit Toeplitz Covariance Estimation under Sparse-Ruler Sampling
📡
Information Theory
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Fixed-Threshold One-Bit Toeplitz Covariance Estimation under Sparse-Ruler Sampling
SNARGs for NP from Unprovability of
Mathematical
Theorems
🔐
Cryptography
eprint.iacr.org
·
5d
5 days ago
Actions for SNARGs for NP from Unprovability of Mathematical Theorems
quasitriangular Hopf
2-algebra
in nLab
🔷
Category Theory
ncatlab.org
·
5d
5 days ago
Actions for quasitriangular Hopf 2-algebra in nLab
TheoremBench
: Evaluating LLMs on Theorem Proving in Formal
Mathematics
🤖
Automated Reasoning
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
Provably-Secure NIZKs From Multi-Round Oracle
Proofs
⚛️
Physics
eprint.iacr.org
·
6d
6 days ago
Actions for Provably-Secure NIZKs From Multi-Round Oracle Proofs
Branch-Level Energy Localization in Three-Phase Loads: Resolving Indeterminacy in Time-Domain
📊
Bayesian Statistics
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Branch-Level Energy Localization in Three-Phase Loads: Resolving Indeterminacy in Time-Domain
Algebraic
Kolmogorov--Arnold representation
theorem
for quantum measurement
⚛️
Quantum Computing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Algebraic Kolmogorov--Arnold representation theorem for quantum measurement
Probabilistically Checking Quantum
Proofs
, with Interaction
⚛️
Quantum Computing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Probabilistically Checking Quantum Proofs, with Interaction
Quantum current
algebra
${\bf U}(\frak{gl}_n[t])$: canonical bases, rigidity, and relation with Yangians
⚛️
Quantum Computing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Quantum current algebra ${\bf U}(\frak{gl}_n[t])$: canonical bases, rigidity, and relation with Yangians
Convex
algebras
on an interval with semicontinuous monotone operations
♾️
Set Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Convex algebras on an interval with semicontinuous monotone operations
Goedel-Architect: Streamlining Formal
Theorem
Proving with Blueprint Generation and Refinement
🤖
Automated Reasoning
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
« 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