Feeds to Scour
SubscribedAll
Scoured 181787 posts in 13.4 ms
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ⚖️Verification Calculi
arxiv.org·2d
Breaking Bad: Interpretability-Based Safety Audits of State-of-the-Art LLMs  ⚡Proof Automation
arxiv.org·2d
Common Foundations for Recursive Shape Languages  🔤Type Theory
arxiv.org·2d
SafeRedirect: Defeating Internal Safety Collapse via Task-Completion Redirection in Frontier LLMs  🛡️Error Boundaries
arxiv.org·2d
The Root Theorem of Context Engineering  🌳Context free grammars
arxiv.org·2d
The classification of minimally unsatisfiable 2-CNFs -- a fundamental study  🔗Combinatory Logic
arxiv.org·2d
StructMem: Structured Memory for Long-Horizon Behavior in LLMs  📼Cassette Combinators
arxiv.org·2d
Metastability-Containing Turing Machines  🎞️Tape Combinatorics
arxiv.org·5d
SYMBOLIZER: Symbolic Model-free Task Planning with VLMs  ✨Effect Handlers
arxiv.org·5d
Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces  ⏰Temporal Logic
arxiv.org·5d
Safety, Security, and Cognitive Risks in State-Space Models: A Systematic Threat Analysis with Spectral, Stateful, and Capacity Attacks  🔒Language-based security
arxiv.org·5d
Symbolic Synthesis for LTLf+ Obligations  ⚔️Lean Tactics
arxiv.org·5d
Beyond the Bellman Fixed Point: Geometry and Fast Policy Identification in Value Iteration  👑Coq Tactics
arxiv.org·5d
Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems  ✨Algebraic Effects
arxiv.org·5d
Weighted Automata and Regular Expressions for Financial Systems  🧮Algebraic Datatypes
arxiv.org·5d
When does a control system compute? Digital, mechanical and open-loop systems  ✨Algebraic Effects
arxiv.org·6d
State Forecasting in an Estimation Framework with Surrogate Sensor Modeling  🌊Digital Signal Processing
arxiv.org·4d
Perron-Frobenius Contractive Operator Matching for Data-Driven Reachable Fault Identification and Recovery  🔧Hardware Verification
arxiv.org·6d
Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification  ⚛️Quantum Circuits
arxiv.org·5d
Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans  ✅Format Verification
arxiv.org·4d
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