Feeds to Scour
SubscribedAll
Scoured 26618 posts in 19.7 ms
Neuro-Symbolic Manipulation Understanding with Enriched Semantic Event Chains  ✨Effect Handlers
arxiv.org·1d
Complexity Classes Arising from Circuits over Finite Algebraic Structures  🎞️Tape Combinatorics
arxiv.org·1d
DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications  ⏰Temporal Logic
arxiv.org·4d
Absorber LLM: Harnessing Causal Synchronization for Test-Time Training  📼Tape Combinators
arxiv.org·1d
Bilinear Input Modulation for Mamba: Koopman Bilinear Forms for Memory Retention and Multiplicative Computation  📼Cassette Combinators
arxiv.org·4d
DryRUN: On the Role of Public Tests in LLM-Driven Code Generation  ⚔️Lean Tactics
arxiv.org·1d
Reasoning About Traversability: Language-Guided Off-Road 3D Trajectory Planning  ⚡Z3 Optimization
arxiv.org·1d
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking  🔧Hardware Verification
arxiv.org·1d
MOMO: A framework for seamless physical, verbal, and graphical robot skill learning and adaptation  ✨Effect Handlers
arxiv.org·2d
Temporal Difference Calibration in Sequential Tasks: Application to Vision-Language-Action Models  ⚡Incremental Computation
arxiv.org·2d
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ⚖️Verification Calculi
arxiv.org·1d
SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set  🔗Combinatory Logic
arxiv.org·2d
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)  🧠Separation Logic
arxiv.org·1d
Reasoning Primitives in Hybrid and Non-Hybrid LLMs  🧮Constraint SMT
arxiv.org·1d
SafeRedirect: Defeating Internal Safety Collapse via Task-Completion Redirection in Frontier LLMs  🛡️Error Boundaries
arxiv.org·1d
Breaking Bad: Interpretability-Based Safety Audits of State-of-the-Art LLMs  ⚡Proof Automation
arxiv.org·1d
Common Foundations for Recursive Shape Languages  🔤Type Theory
arxiv.org·1d
V-tableR1: Process-Supervised Multimodal Table Reasoning with Critic-Guided Policy Optimization  📊Learned Metrics
arxiv.org·2d
The Root Theorem of Context Engineering  🌳Context free grammars
arxiv.org·1d
StructMem: Structured Memory for Long-Horizon Behavior in LLMs  📼Cassette Combinators
arxiv.org·1d

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