Feeds to Scour
SubscribedAll
Scoured 23963 posts in 19.0 ms
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification  ⚔️Lean Tactics
goedelcodeprover.github.io·6d·Hacker News·
Navigating Claude Code: CLAUDE.md Done Right  ⚡Proof Automation
hackernoon.com·2d·
Compressing Code Context for LLM-based Issue Resolution  🏗️Compiler Archaeology
arxiv.org·2d·
Building AI Agents That Close the Loop on Pipeline Failures  🐚Shell Calculus
hackernoon.com·3d·
ResAdapt: Adaptive Resolution for Efficient Multimodal Reasoning  🧠Neural Compression
arxiv.org·2d·
Efficient Inference of Large Vision Language Models  📊Quantization
arxiv.org·2d·
Exposé  🛠️Greaseweazle
hackernoon.com·2d·
MobileDev-Bench: A Comprehensive Benchmark for Evaluating Language Models on Mobile Application Development  📏Code Metrics
arxiv.org·6d·
CirrusBench: Evaluating LLM-based Agents Beyond Correctness in Real-World Cloud Service Environments  💻Local LLMs
arxiv.org·2d·
Real-time control of multiphase processes with learned operators  🌀Riemannian Computing
arxiv.org·6d·
Detecting Protracted Vulnerabilities in Open Source Projects  ⚙️Build Archaeology
arxiv.org·2d·
Shape and Substance: Dual-Layer Side-Channel Attacks on Local Vision-Language Models  💻Local LLMs
arxiv.org·6d·
Entropic Claim Resolution: Uncertainty-Driven Evidence Selection for RAG  📈Entropy Estimation
arxiv.org·2d·
EuraGovExam: A Multilingual Multimodal Benchmark from Real-World Civil Service Exams  👁️Constructive OCR
arxiv.org·2d·
Rethinking Token Pruning for Historical Screenshots in GUI Visual Agents: Semantic, Spatial, and Temporal Perspectives  📸TIFF Archaeology
arxiv.org·3d·
Amped: Adaptive Multi-stage Non-edge Pruning for Edge Detection  🌀Riemannian Computing
arxiv.org·2d·
EngineAD: A Real-World Vehicle Engine Anomaly Detection Dataset  ⚡Performance Mythology
arxiv.org·3d·
GS3LAM: Gaussian Semantic Splatting SLAM  🏺Computational Archaeology
arxiv.org·2d·
RealBirdID: Benchmarking Bird Species Identification in the Era of MLLMs  📊HyperLogLog
arxiv.org·2d·
R\'enyi Entropy: A New Token Pruning Metric for Vision Transformers  🧠Machine Learning
arxiv.org·2d·

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
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