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
125
posts in
9.4
ms
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
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
Uncloneable Cryptography in Linear Quantum Memory
🔐
Cryptography
eprint.iacr.org
·
1d
1 day ago
Actions for Uncloneable Cryptography in Linear Quantum Memory
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
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
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
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
🤖
Automated Reasoning
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
Post-AGI Economies: Superposition and the Second Fundamental
Theorem
of Welfare Economics
💹
Economics
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Post-AGI Economies: Superposition and the Second Fundamental Theorem of Welfare Economics
Optimizing the Cost-Quality Tradeoff of Agentic
Theorem
Provers in Lean
🤖
Automated Reasoning
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
A Kernel-Clean Lean Mechanization of Classical Lottery in Action and the Wakker--Debreu--Koopmans Representation Layer
⚡
Speculative Decoding
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
A unified abstract regularity
lemma
🔷
Category Theory
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for A unified abstract regularity lemma
Active Learning with Bayesian Reasoning: A POGIL-Based Pedagogy in Introductory Statistics
🎲
Probability
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Active Learning with Bayesian Reasoning: A POGIL-Based Pedagogy in Introductory Statistics
LeanMarathon: Toward Reliable AI
Co-Mathematicians
through Long-Horizon Lean Autoformalization
🤖
Automated Reasoning
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Weighted universal approximation of differentiable maps on infinite-dimensional manifolds
🤖
AI
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Weighted universal approximation of differentiable maps on infinite-dimensional manifolds
Pointwise Complexity for Gaussian Fields: Upper Envelopes, Algorithmic Lower Bounds, and Separation
🎲
Probability
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Pointwise Complexity for Gaussian Fields: Upper Envelopes, Algorithmic Lower Bounds, and Separation
Asymptotic Optimality of Thompson Sampling for Risk-Averse Bandits with Sub-Gaussian Rewards
⚖️
Portfolio Optimization
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Asymptotic Optimality of Thompson Sampling for Risk-Averse Bandits with Sub-Gaussian Rewards
Uniform central limit
theorems
for non-stationary processes via relative weak convergence
📊
Statistics
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Uniform central limit theorems for non-stationary processes via relative weak convergence
Tight list replicability bounds via a novel sphere covering
theorem
🗺️
Tactics
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Tight list replicability bounds via a novel sphere covering theorem
Testing Genuine Multipartite Nonlocality via an Inflated Network with Multi-copy Entangled States
⚛️
Quantum Computing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Testing Genuine Multipartite Nonlocality via an Inflated Network with Multi-copy Entangled States
Evaluation of LLMs for
Mathematical
Formalization in Lean
💬
LLMs
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Evaluation of LLMs for Mathematical Formalization in Lean
« 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