Discrete Math

Feeds to Scour
SubscribedAll
Scoured 39 posts in 7.0 ms

Estimation of the sub-Gaussian parameter

 🧠Query Planners  Content type: Academic
arxiv.org·

Detecting Differences Is Not Understanding Structure: Large Language Models Fail at Graph Isomorphism

 🌸Bloom Filters  Content type: Academic
arxiv.org·

Formal verification of the S-two AIR

 🌐Distributed Systems  Content type: Academic
arxiv.org·

Finite Certificates for In-Context Determinacy and a Threshold Theory of Emergence in Language Models

 🌸Bloom Filters  Content type: Academic
arxiv.org·

Efficient $(\alpha,\beta)$-core Computation and On-the-fly Query at Billion Scale with GPUs

 🌸Bloom Filters  Content type: Academic
arxiv.org·

Betti Numbers and Higher Weight Spectra of Reed-Muller Codes $RM_q(2,2)$

 🌲B-tree Variants  Content type: Academic
arxiv.org·

Gray-Box Optimization and the Vertex Coloring Problem

 🌲B-tree Variants  Content type: Academic
arxiv.org·

Polylogarithmic Structure of Bragg Diffraction in Finite-Coherence Lattices

 🤝Paxos Consensus  Content type: Academic
arxiv.org·

Algebra of Bivariate-Bicycle Surface Codes

 🌐Distributed Systems  Content type: Academic
arxiv.org·

Temporal matching in trees

 🗂️Database Indexing  Content type: Academic
arxiv.org·

Exact output statistics of Icart's encoding in the exceptional \(j=0\) case

 🔒Transaction Isolation  Content type: Academic
arxiv.org·

A note on rounding fractional matchings with constant-factor strong negative correlation

 🧠Query Planners  Content type: Academic
arxiv.org·

On the Duke--Erd\H{o}s--R\"odl Problem at the One-Third Threshold

 🌐Distributed Systems  Content type: Academic
arxiv.org·

Dynamic scaling and Family-Vicsek universality in the Hubbard model at infinite temperature

 🤝Paxos Consensus  Content type: Academic
arxiv.org·

Fast and perfect sampling of subgraphs and polymer systems

 🌸Bloom Filters  Content type: Academic
arxiv.org·

Decoded Quantum Interferometry Beyond Hamming: Rank-Metric and Translation Association Schemes

 🤝Paxos Consensus  Content type: Academic
arxiv.org·

(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs

 🌸Bloom Filters  Content type: Academic
arxiv.org·

Structure and Construction of Two-Dimensional Minimal Linear Codes over the rings $\mathbb{Z}_{p^n}$ with Applications to Secret Sharing

 🗂️Database Indexing  Content type: Academic
arxiv.org·

Persistent currents in signed directed networks

 🌐Distributed Systems  Content type: Academic
arxiv.org·

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