Feeds to Scour
SubscribedAll
Scoured 24845 posts in 25.5 ms
Deciding DFA-Primality is NP-Hard  🧮SMT Solvers
arxiv.org·1d
Towards an Inferentialist Account of Information Through Proof-theoretic Semantics  📏Linear Logic
arxiv.org·4d
Logics for Context-free Hyperproperties  📏Linear Logic
arxiv.org·5d
Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems  🔗Topological Sorting
arxiv.org·6d
Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs  ⚔️Lean Tactics
arxiv.org·5d
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code  🦀Rust Verification
arxiv.org·6d
Exposing LLM Safety Gaps Through Mathematical Encoding:New Attacks and Systematic Analysis  💻Local LLMs
arxiv.org·6d
ZK-Value: A Practical Zero-Knowledge System for Verifiable Data Valuation  🧮Z3 Solver
arxiv.org·6d
The Algebra of Iterative Constructions  🌉Galois Connections
arxiv.org·6d
SURE-RAG: Sufficiency and Uncertainty-Aware Evidence Verification for Selective Retrieval-Augmented Generation  🔍Information Retrieval
arxiv.org·6d
A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers  🎞️Tape Combinatorics
arxiv.org·6d
On the Hardness of Junking LLMs  🧮Kolmogorov Complexity
arxiv.org·5d
When Agents Handle Secrets: A Survey of Confidential Computing for Agentic AI  🌳Archive Merkle Trees
arxiv.org·6d
Undetectable Backdoors in Model Parameters: Hiding Sparse Secrets in High Dimensions  🕵️Vector Smuggling
arxiv.org·5d
Fundamental Limitations of Post-Quantum Cryptographic Architectures  🔐Quantum Security
arxiv.org·5d
MEMSAD: Gradient-Coupled Anomaly Detection for Memory Poisoning in Retrieval-Augmented Agents  🧠Memory Forensics
arxiv.org·6d
SILMARILS: Information-Theoretic and Quantum-Secure Designated-Verifier Signatures  🔲Lattice Cryptography
arxiv.org·6d
MAGE: Safeguarding LLM Agents against Long-Horizon Threats via Shadow Memory  🔒WASM Capabilities
arxiv.org·6d
Private Contiguous-Block Retrieval  🔄Content Deduplication
arxiv.org·5d
Kettle: Attested builds for verifiable software provenance  🔄Reproducible Builds
arxiv.org·14h·Lobsters

No more posts from matmat's subscribed feeds.

Scour all 24963 feedsLearn more about Feeds

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