Feeds to Scour
SubscribedAll
Scoured 26595 posts in 13.2 ms
arian-gogani/nobulex: The accountability primitive for AI agents. Cryptographic behavioral commitments with trustless verification.  🌳Archive Merkle Trees
github.com·4d·Hacker News, Hacker News
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure  ⚖️Verification Calculi
arxiv.org·2d
Stop Removing Friction. It's Your Best User Research Tool  📰RSS Reading Practices
hackernoon.com·4d
HireRight background check review: Efficient, compliant, but not flawless  ⚖️Legal Compliance
techradar.com
·4d
Automated LTL Specification Generation from Industrial Aerospace Requirements  ⚙️TLA+
arxiv.org·1d
Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures  🔧Hardware Verification
arxiv.org·1d
The Internet’s Next Premium Feature May Be Human Verification  🚀Indie Hacking
hackernoon.com·4d
GRPO-VPS: Enhancing Group Relative Policy Optimization with Verifiable Process Supervision for Effective Reasoning  🎯Performance Proofs
arxiv.org·2d
SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution  🦀Rust Macros
arxiv.org·2d
DiP-SD: Distributed Pipelined Speculative Decoding for Efficient LLM Inference at the Edge  💻Local LLMs
arxiv.org·1d
FASER: Fine-Grained Phase Management for Speculative Decoding in Dynamic LLM Serving  🌊Stream Processing
arxiv.org·2d
OpenCLAW-P2P v6.0: Resilient Multi-Layer Persistence, Live Reference Verification, and Production-Scale Evaluation of Decentralized AI Peer Review  🕸️Mesh Archiving
arxiv.org·2d
Verification of Machine Unlearning is Fragile  🛡️Archive Verification
arxiv.org·2d
TRACES: Tagging Reasoning Steps for Adaptive Cost-Efficient Early-Stopping  🌊Streaming Algorithms
arxiv.org·1d
Guaranteed inf-sup bounds and existence verification for semilinear elliptic problems via nonconforming finite elements  📐Error Bounds
arxiv.org·1d
Trust but Verify: Introducing DAVinCI -- A Framework for Dual Attribution and Verification in Claim Inference for Language Models  ✓Automated Theorem Proving
arxiv.org·1d
Automatic Ontology Construction Using LLMs as an External Layer of Memory, Verification, and Planning for Hybrid Intelligent Systems  🔗Constraint Handling
arxiv.org·2d
Toward Cooperative Driving in Mixed Traffic: An Adaptive Potential Game-Based Approach with Field Test Verification  🔲Cellular Automata
arxiv.org·2d
Enhancing Speaker Verification with Whispered Speech via Post-Processing  🎙️Whisper
arxiv.org·2d
R-CoV: Region-Aware Chain-of-Verification for Alleviating Object Hallucinations in LVLMs  📊Rate-Distortion Theory
arxiv.org·2d

No more posts from matmat's subscribed feeds.

Scour all 24374 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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