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
math, analysis, algebra, topology
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
77
posts in
9.1
ms
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
λ
PL Theory
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
TheoremBench
: Evaluating LLMs on Theorem Proving in Formal
Mathematics
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
Proceedings of the 14th edition of the conference on Random Generation of Combinatorial Structures
🔗
Combinatorics
Content type:
Academic
arxiv.org
·
14h
14 hours ago
Actions for Proceedings of the 14th edition of the conference on Random Generation of Combinatorial Structures
Alternative Inductive
Proof
of Dilworth's
Theorem
🔗
Combinatorics
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Alternative Inductive Proof of Dilworth's Theorem
Goedel-Architect: Streamlining Formal
Theorem
Proving with Blueprint Generation and Refinement
🧮
Constraint Solvers
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
Probabilistic Gaussian
Homotopy
: A Probability-Space Continuation Framework for Nonconvex Optimization
🎲
Probability
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Probabilistic Gaussian Homotopy: A Probability-Space Continuation Framework for Nonconvex Optimization
Abduction Prover in Isabelle/HOL
λ
PL Theory
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Abduction Prover in Isabelle/HOL
Branch-Level Energy Localization in Three-Phase Loads: Resolving Indeterminacy in Time-Domain
〰️
Signal Processing
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Branch-Level Energy Localization in Three-Phase Loads: Resolving Indeterminacy in Time-Domain
Optimizing the Cost-Quality Tradeoff of Agentic
Theorem
Provers in Lean
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
Strict stability of extension types
λ
PL Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
Weighted universal approximation of
differentiable
maps on infinite-dimensional manifolds
🔍
Vector Search Algorithms
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Weighted universal approximation of differentiable maps on infinite-dimensional manifolds
LeanMarathon: Toward Reliable AI
Co-Mathematicians
through Long-Horizon Lean Autoformalization
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Convex
algebras
on an interval with semicontinuous monotone operations
🔢
Algebra
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Convex algebras on an interval with semicontinuous monotone operations
Post-AGI Economies: Superposition and the Second Fundamental
Theorem
of Welfare Economics
🔄
Eventual Consistency
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Post-AGI Economies: Superposition and the Second Fundamental Theorem of Welfare Economics
Tight list replicability bounds via a novel sphere covering
theorem
🌸
Bloom Filters
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Tight list replicability bounds via a novel sphere covering theorem
A Kernel-Clean Lean Mechanization of Classical Lottery in Action and the Wakker--Debreu--Koopmans Representation Layer
🔢
Algebra
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
Cubic graphs, $S$-minors and conformal minors
🔗
Combinatorics
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Cubic graphs, $S$-minors and conformal minors
Pointwise Complexity for Gaussian Fields: Upper Envelopes, Algorithmic Lower Bounds, and Separation
🧩
Complexity Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Pointwise Complexity for Gaussian Fields: Upper Envelopes, Algorithmic Lower Bounds, and Separation
Information Rate Decomposition for Noisy Nanopore Channels with
Geometric
Duplication
🗜️
Compression Algorithms
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Information Rate Decomposition for Noisy Nanopore Channels with Geometric Duplication
Page 2 »
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