Feeds to Scour
SubscribedAll
Scoured 3171 posts in 12.8 ms
FCMBench-Video: Benchmarking Document Video Intelligence  💾Binary Analysis
arxiv.org·1d
Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing  🎯Taint Analysis
arxiv.org·2d
Guaranteed inf-sup bounds and existence verification for semilinear elliptic problems via nonconforming finite elements  🧮Symbolic Execution
arxiv.org·6d
FinGround: Detecting and Grounding Financial Hallucinations via Atomic Claim Verification  🔍Memory Forensics
arxiv.org·2d
DiP-SD: Distributed Pipelined Speculative Decoding for Efficient LLM Inference at the Edge  🔣Type Systems
arxiv.org·6d
Incisor: Ex Ante Cloud Instance Selection for HPC Jobs  🛡️Exploit Mitigations
arxiv.org·2d
DualFact+: A Multimodal Fact Verification Framework for Procedural Video Understanding  ✅Formal Verification
arxiv.org·1d
Information-Theoretic Authenticated PIR: From PIR-RV To APIR  🔣Type Systems
arxiv.org·3d
Self-Supervised Learning for Android Malware Detection on a Time-Stamped Dataset  🦠Malware Analysis
arxiv.org·2d
Verification of Quantum Protocols Adopting Physically Admissible Schedulers  ✅Formal Verification
arxiv.org·2d
Trust but Verify: Introducing DAVinCI -- A Framework for Dual Attribution and Verification in Claim Inference for Language Models  ✅Formal Verification
arxiv.org·6d
GeoCert: Certified Geometric AI for Reliable Forecasting  🔣Type Systems
arxiv.org·2d
From Spoofing to Trust: Emergency Alerts Spoofing Testbed and Cross-Cell Verification  🌐Protocol Fuzzing
arxiv.org·2d
A Hybrid Reinforcement and Self-Supervised Learning Aided Benders Decomposition Algorithm  🧩Intermediate Representation
arxiv.org·3d
DO-Bench: An Attributable Benchmark for Diagnosing Object Hallucination in Vision-Language Models  🧩Intermediate Representation
arxiv.org·2d
Robust Camera-to-Mocap Calibration and Verification for Large-Scale Multi-Camera Data Capture  ✅Formal Verification
arxiv.org·3d
HalalBench: A Multilingual OCR Benchmark for Food Packaging Ingredient Extraction  💾Binary Analysis
arxiv.org·2d
ArmSSL: Adversarial Robust Black-Box Watermarking for Self-Supervised Learning Pre-trained Encoders  🧩Intermediate Representation
arxiv.org·3d
A Class AAA Solar Testbed for Reproducible Long-Term Characterization of Energy-Harvesting Systems  📟Firmware Analysis
arxiv.org·1d
Frictive Policy Optimization for LLMs: Epistemic Intervention, Risk-Sensitive Control, and Reflective Alignment  🔣Type Systems
arxiv.org·1d

No more posts from amy.throwaway.lovely'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