Feeds to Scour
SubscribedAll
Scoured 187443 posts in 21.0 ms
Toward a Characterization of Simulation Between Arithmetic Theories  🛠️Compilers
arxiv.org·2h
Unentangled stoquastic Merlin-Arthur proof systems: the power of unentanglement without destructive interference  🛠️Compilers
arxiv.org·2h
Connected Dependability Cage: Run-Time Function and Anomaly Monitoring for the Development and Operation of Safe Automated Vehicles  🚁MAVLink
arxiv.org·2h
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)  🛠️Compilers
arxiv.org·1d
SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents  🛠️Software Craft
arxiv.org·2h
Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles  🤖AI/ML
arxiv.org·2h
Safe Bilevel Delegation (SBD): A Formal Framework for Runtime Delegation Safety in Multi-Agent Systems  🐝Swarm Robotics
arxiv.org·2h
Verification of Neural Networks (Lecture Notes)  🤖AI/ML
arxiv.org·2d
Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence  🧠Edge AI
arxiv.org·2h
From Coalgebraic Determinization to Belief Construction for Partial Observability  🤖AI/ML
arxiv.org·2d
LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning  🛠️Compilers
arxiv.org·2h
Focus Session: Autonomous Systems Dependability in the era of AI: Design Challenges in Safety, Security, Reliability and Certification  🧠Edge AI
arxiv.org·2h
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields  🛠️Compilers
arxiv.org·1d
TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies  🧠Edge AI
arxiv.org·2h
Automaton-based Characterisations of First Order Logic over Infinite Trees  🛠️Compilers
arxiv.org·1d
Proof Identity and Categorical Models of BV  🛠️Compilers
arxiv.org·2d
Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification  🛠️Software Craft
arxiv.org·1d
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent  🧠Edge AI
arxiv.org·1d
From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation  🛠️Compilers
arxiv.org·3d
Positional Properties in Temporal Logic  🛠️Compilers
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
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