Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Abstract Interpretation
Specific
abstract interpretation, static analysis, abstract domain, Cousot
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
184156
posts in
16.6
ms
Order-Sensitive Sequential
Interventions
on Ideal
Lattices
📐
Geometric Algorithms
arxiv.org
·
14h
Coherent control through
phonon
anharmonicity
🔍
Mechanistic Interpretability
nature.com
·
3d
Threshold Signatures as-a-Service:
Achieving
Threshold
ML-DSA
in One Online Round
🌐
Distributed Systems
eprint.iacr.org
·
5d
Defect-Adaptive
Lattice Surgery on
Irregular
Boundary Surface-Code Patches
📐
Geometric Algorithms
arxiv.org
·
1d
Topological surface state destruction via
trivializing
proximity effect: Lattice localization despite continuum
criticality
🌐
Distributed Systems
link.aps.org
·
23h
GoAT-X
: A Graph of
Auditing
Thoughts for Securing Token Transactions in Cross-Chain Contracts
🧠
Reasoning Models
arxiv.org
·
2d
Viscous
Settling of
Bravais
Unit-Cells
🌊
Streaming Algorithms
arxiv.org
·
14h
Non-Hermitian
catalysis
of spontaneous symmetry breaking on
Euclidean
and hyperbolic lattices
📐
Geometric Algorithms
link.aps.org
·
2d
SOLMAE
: Lightweight Post-Quantum Signature based on
NTRU
lattices with Hybrid Sampling
🔧
SMT Solvers
eprint.iacr.org
·
4d
Protein
folding
on a 64 qubit trapped-ion hardware via
counterdiabatic
quantum optimization
🔧
SMT Solvers
arxiv.org
·
14h
SeqShield
: A Behavioral Analysis Approach to Uncover
Rootkits
🧠
Reasoning Models
arxiv.org
·
2d
ThIrSn
: A noncentrosymmetric
intermetallic
with a distorted kagome structure
🔧
Intermediate Representations
link.aps.org
·
2d
Lattice Topological Defects in
Non-Unitary
Conformal
Field Theories
⚙️
Concurrency Theory
arxiv.org
·
14h
Ballistic Exciton Flow Driven by
Intertwined
Exciton-Electron Orders in a Moir\'e
Superlattice
🔧
SMT Solvers
arxiv.org
·
14h
Hybrid
Path-Sums
for Hybrid Quantum
Programs
🔧
SMT Solvers
arxiv.org
·
2d
Revealing magnetism in the distorted kagome $R$Ti$_3$Bi$_4$ ($R$ = Nd, Sm, Gd) via
ARPES
and
XMCD
🔧
SMT Solvers
arxiv.org
·
14h
Band topology of the
breathing
kagome
lattice
🕸️
Graph Theory
link.aps.org
·
3d
Mono2Sls
: Automated
Monolith-to-Serverless
Migration via Multi-Stage Pipeline with Static Analysis
🛢️
Database Internals
arxiv.org
·
2d
Improved Hardness Results for Learning
Intersections
of
Halfspaces
📊
Algorithms
arxiv.org
·
2d
Multiferroic
dark
exciton
crystal in the breathing-kagome lattice material ${\mathrm{Nb}}_{3}{\mathrm{Cl}}_{8}$
🔧
SMT Solvers
link.aps.org
·
3d
« Page 1
·
Page 3 »
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