≈
the.bay
.news
top
new
submit
📡
events
◐
auto
sign in
◉ the bay
all
hn
lobsters
feeds
code
filings
reddit
research
fda
crates
events
hot
new
top
discussed
61
▲
The $p$-rationality of $\mathbb{Q}\left(\sqrt{-(kp+m)}\right)$ and $\mathbb{Q}\left(\sqrt{p(p+1)}\right)$
arxiv.org
·
paper
·
0
·
3d
·
0 comments
62
▲
On the Fractional Parts of Polynomials Modulo $p$
arxiv.org
·
paper
·
0
·
3d
·
0 comments
63
▲
Zeta functions of $\mathrm{PGL}_n$ over non-Archimedean local fields
arxiv.org
·
paper
·
0
·
3d
·
0 comments
64
▲
A Weighted Sum Formula for Double Eisenstein Series
arxiv.org
·
paper
·
0
·
3d
·
0 comments
65
▲
Statistical properties of Hecke correspondences
arxiv.org
·
paper
·
0
·
3d
·
0 comments
66
▲
Simultaneous non-vanishing of Dirichlet $L$--functions, II: Weighted central limit theorem
arxiv.org
·
paper
·
0
·
3d
·
0 comments
67
▲
Adjacency-degree algebras and spectral determination of graphs
arxiv.org
·
paper
·
0
·
3d
·
0 comments
68
▲
Chromatic symmetric functions of claw-free graphs are not Schur positive
arxiv.org
·
paper
·
0
·
3d
·
0 comments
69
▲
Interval Garside groups arising from involutions in finite reflection groups
arxiv.org
·
paper
·
0
·
3d
·
0 comments
70
▲
Improved lower bounds for the Shannon capacity of odd cycles
arxiv.org
·
paper
·
0
·
3d
·
0 comments
71
▲
A new recursive construction for large sets of Kirkman triple systems
arxiv.org
·
paper
·
0
·
3d
·
0 comments
72
▲
Arithmetic progressions in a random set on a budget
arxiv.org
·
paper
·
0
·
3d
·
0 comments
73
▲
Tight Hamilton Cycles in Linearly Quasirandom 3-Graphs
arxiv.org
·
paper
·
0
·
3d
·
0 comments
74
▲
The Frankl--Tokushige product conjectures for $r$-cross-intersecting families
arxiv.org
·
paper
·
0
·
3d
·
0 comments
75
▲
Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)
arxiv.org
·
paper
·
0
·
3d
·
0 comments
76
▲
chrKanren: Constraint Handling Rules in a Relational Language
arxiv.org
·
paper
·
0
·
3d
·
0 comments
77
▲
Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
arxiv.org
·
paper
·
0
·
3d
·
0 comments
78
▲
CaVE: A Constraint Storage Approach to Handling Integrity Constraints
arxiv.org
·
paper
·
0
·
3d
·
0 comments
79
▲
How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming
arxiv.org
·
paper
·
0
·
3d
·
0 comments
80
▲
Logic Programming Semantics for Causal Processes
arxiv.org
·
paper
·
0
·
3d
·
0 comments
81
▲
Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols
arxiv.org
·
paper
·
0
·
3d
·
0 comments
82
▲
Weak Private Information Retrieval for Graph-based Storage
arxiv.org
·
paper
·
0
·
3d
·
0 comments
83
▲
Risk-Limiting Audits for Parliamentary Majorities
arxiv.org
·
paper
·
0
·
3d
·
0 comments
84
▲
Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference
arxiv.org
·
paper
·
0
·
3d
·
0 comments
85
▲
Advances in STV Margin Computation
arxiv.org
·
paper
·
0
·
3d
·
0 comments
86
▲
Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation
arxiv.org
·
paper
·
0
·
3d
·
0 comments
87
▲
Themis Consensus Extension v1: MEV Mitigation by Randomized Delayed Execution and Intent-Hiding Transactions in Application-Specific Blockchains
arxiv.org
·
paper
·
0
·
3d
·
0 comments
88
▲
Unconditional Unclonable Encryption
arxiv.org
·
paper
·
0
·
3d
·
0 comments
89
▲
Where You Tap Matters: A Probe-and-Model Benchmark for Open-Set RF Fingerprinting
arxiv.org
·
paper
·
0
·
3d
·
0 comments
90
▲
DMG: A Scalable and Efficient Memory-Disaggregated Graph Processing System
arxiv.org
·
paper
·
0
·
3d
·
0 comments
more →
