Feeds to Scour
SubscribedAll
Scoured 29066 posts in 49.1 ms
Is Your CEO a Deepfake? 5 Ways to Secure Your Business Against AI Scams  🎯Threat Hunting
hackernoon.com·6d
Faithful Autoformalization via Roundtrip Verification and Repair  ✅Format Verification
arxiv.org·1d
HalluCiteChecker: A Lightweight Toolkit for Hallucinated Citation Detection and Verification in the Era of AI Scientists  📜Digital Philology
arxiv.org·10h
HIVE: Hidden-Evidence Verification for Hallucination Detection in Diffusion Large Language Models  ✅Format Verification
arxiv.org·10h
From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation  📏Linear Logic
arxiv.org·2d
Catching the Fly: Practical Challenges in Making Blockchain FlyClient Real  🌳Archive Merkle Trees
arxiv.org·10h
Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong  ⚖️Verification Calculi
arxiv.org·2d
Risk Assessments for Evasive Emergency Maneuvers in Autonomous Vehicles  🛡️Error Boundaries
arxiv.org·10h
Theory-Grounded Evaluation Exposes the Authorship Gap in LLM Personalization  👤Search Personalization
arxiv.org·10h
Verification of Correlated Equilibria in Concurrent Reachability Games  🎯Performance Proofs
arxiv.org·2d
RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation  ✨Algebraic Effects
arxiv.org·2d
Counterexample-Guided Interval Weakening  🔮Proof Search
arxiv.org·2d
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting  ⚛️Quantum Circuits
arxiv.org·2d
ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation  ⚙️Proof Engineering
arxiv.org·2d
Verification of Quantum Protocols Adopting Physically Admissible Schedulers  🔐Quantum Security
arxiv.org·2d
Verification of Neural Networks (Lecture Notes)  🔧Hardware Verification
arxiv.org·1d
GeoCert: Certified Geometric AI for Reliable Forecasting  🌀Differential Geometry
arxiv.org·2d
Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing  🌳Archive Merkle Trees
arxiv.org·2d
AdapTime: Enabling Adaptive Temporal Reasoning in Large Language Models  ⏱️Interval Parsing
arxiv.org·2d
FinGround: Detecting and Grounding Financial Hallucinations via Atomic Claim Verification  🧪Binary Fuzzing
arxiv.org·2d

No more posts from matmat's subscribed feeds.

Scour all 24432 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