math

Feeds to Scour
SubscribedAll
Scoured 293 posts in 6.5 ms

Evaluating Research-Level Math Proofs via Strict Step-Level Verification

 mathematics  Content type: Academic
arxiv.org·

Low-Variance Randomised Numerical Linear Algebra for Finite Element Simulation

 mathematics  Content type: Academic
arxiv.org·

SNARGs for NP from Unprovability of Mathematical Theorems

 mathematics
eprint.iacr.org·

Estimating Evolving Functions with Dynamic Gaussian Processes

 mathematics  Content type: Academic
arxiv.org·

meleantonio forked meleantonio/DEQN_Galo_03_2026 from sischei/DEQN_Galo_03_2026

 🔢Homomorphic Encryption  Content type: Code
github.com·

Alternative Inductive Proof of Dilworth's Theorem

 mathematics  Content type: Academic
arxiv.org·

Numerical Analysis on Backward Stochastic Differential Equations by Finite Transposition Method

 mathematics  Content type: Academic
arxiv.org·

𔗢𖡗𔗢᯽𔗢𖡗𔗢⠀𔗢𖡗𔗢᯽𔗢𖡗𔗢

 mathematics
megalodon.jp·

Branch-Level Energy Localization in Three-Phase Loads: Resolving Indeterminacy in Time-Domain

 mathematics  Content type: Academic
arxiv.org·

markusheimerl/gpt: A generative pretrained transformer implementation

 🔢Homomorphic Encryption  Content type: Code
github.com··Hacker News

Weighted universal approximation of differentiable maps on infinite-dimensional manifolds

 mathematics  Content type: Academic
arxiv.org·

An explicit finite-memory scheme for approximating and sampling invariant measures of stochastic functional differential equations with infinite delay

 mathematics  Content type: Academic
arxiv.org·

Optimal Stochastic Krylov based Techniques for Large- Scale Log-Determinant Estimation

 🔢Homomorphic Encryption  Content type: Academic
arxiv.org·

Pointwise Complexity for Gaussian Fields: Upper Envelopes, Algorithmic Lower Bounds, and Separation

 mathematics  Content type: Academic
arxiv.org·

Algebraic Kolmogorov--Arnold representation theorem for quantum measurement

 mathematics  Content type: Academic
arxiv.org·

A Data-Free Symbolic Regression Approach for Solving Equations

 mathematics  Content type: Academic
arxiv.org·

Data-driven discovery of governing differential equations across physical systems

 mathematics  Content type: Academic
arxiv.org·

𔗢𖡗𔗢᯽𔗢𖡗𔗢⠀𔗢𖡗𔗢᯽𔗢𖡗𔗢

 mathematics
megalodon.jp·

From inverse problems to neural operators: prediction, mechanism, and generalization of data-driven models

 mathematics  Content type: Academic
arxiv.org·

Parameter estimation in generalized fractional neuronal models

 mathematics  Content type: Academic
arxiv.org·
Sign up or log in to see more results

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help