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, algebra, calculus, statistics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
115
posts in
4.4
ms
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
聽
馃攳
Query Engines
聽
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
聽
馃捇
Computer Science
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
Low-Variance Randomised Numerical
Linear
Algebra
for Finite Element Simulation
聽
馃敘
Linear Algebra
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Low-Variance Randomised Numerical Linear Algebra for Finite Element Simulation
Learning Manifold and It\^o Dynamics with Branched Neural Rough
Differential
Equations
聽
馃
Computational Neuroscience
聽
Content type:
Academic
arxiv.org
路
5d
5 days ago
Actions for Learning Manifold and It\^o Dynamics with Branched Neural Rough Differential Equations
Alternative Inductive
Proof
of Dilworth's
Theorem
聽
馃敘
Linear Algebra
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for Alternative Inductive Proof of Dilworth's Theorem
Branch-Level Energy Localization in Three-Phase Loads: Resolving Indeterminacy in Time-Domain
聽
馃敡
Linkers
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for Branch-Level Energy Localization in Three-Phase Loads: Resolving Indeterminacy in Time-Domain
Goedel-Architect: Streamlining Formal
Theorem
Proving with Blueprint Generation and Refinement
聽
馃捇
Computer Science
聽
Content type:
Academic
arxiv.org
路
5d
5 days ago
Actions for Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
Convex
algebras
on an interval with semicontinuous monotone operations
聽
馃敘
Linear Algebra
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Convex algebras on an interval with semicontinuous monotone operations
Optimizing the Cost-Quality Tradeoff of Agentic
Theorem
Provers in Lean
聽
馃寪
Distributed Systems
聽
Content type:
Academic
arxiv.org
路
6d
6 days ago
Actions for Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
Probabilistically Checking Quantum
Proofs
, with Interaction
聽
馃捇
Computer Science
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Probabilistically Checking Quantum Proofs, with Interaction
Data-driven discovery of governing
differential
equations
across physical systems
聽
馃
Machine Learning
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Data-driven discovery of governing differential equations across physical systems
Euler Scheme for Stochastic Functional
Differential
Equations
Driven by Fractional Brownian Motion via Fractional
Calculus
Techniques
聽
馃
Computational Neuroscience
聽
Content type:
Academic
arxiv.org
路
5d
5 days ago
Actions for Euler Scheme for Stochastic Functional Differential Equations Driven by Fractional Brownian Motion via Fractional Calculus Techniques
From inverse problems to neural operators: prediction, mechanism, and generalization of data-driven models
聽
馃
Machine Learning
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for From inverse problems to neural operators: prediction, mechanism, and generalization of data-driven models
A Data-Free Symbolic Regression Approach for Solving
Equations
聽
馃敘
Linear Algebra
聽
Content type:
Academic
arxiv.org
路
2d
2 days ago
Actions for A Data-Free Symbolic Regression Approach for Solving Equations
Event
Calculus
Meets Hybrid ASP
聽
馃攳
Query Engines
聽
Content type:
Academic
arxiv.org
路
6d
6 days ago
Actions for Event Calculus Meets Hybrid ASP
Numerical
Analysis
on Backward Stochastic
Differential
Equations
by Finite Transposition Method
聽
馃敘
Linear Algebra
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Numerical Analysis on Backward Stochastic Differential Equations by Finite Transposition Method
LeanMarathon: Toward Reliable AI
Co-Mathematicians
through Long-Horizon Lean Autoformalization
聽
馃
Machine Learning
聽
Content type:
Academic
arxiv.org
路
5d
5 days ago
Actions for LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Algebra
of Bivariate-Bicycle Surface Codes
聽
馃敘
Linear Algebra
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Algebra of Bivariate-Bicycle Surface Codes
Post-AGI Economies: Superposition and the Second Fundamental
Theorem
of Welfare Economics
聽
馃寪
Distributed Systems
聽
Content type:
Academic
arxiv.org
路
1d
1 day ago
Actions for Post-AGI Economies: Superposition and the Second Fundamental Theorem of Welfare Economics
Passive Learning of Symbolic Automata over Monotonic
Algebras
聽
馃捇
Computer Science
聽
Content type:
Academic
arxiv.org
路
5d
5 days ago
Actions for Passive Learning of Symbolic Automata over Monotonic Algebras
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