Feeds to Scour
SubscribedAll
Scoured 184788 posts in 39.2 ms
Reelay: Online Temporal Logic Monitoring Framework  ⚙️Alloy
arxiv.org·3d
Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.)  ∀Lean4
semiengineering.com·2d
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)  👁️Observability
arxiv.org·15h
From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation  ⚙️LLVM
arxiv.org·2d
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)  ⚙️Alloy
arxiv.org·6d
Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers  ∀Lean4
arxiv.org·2d
Benchmarking Testing in Automated Theorem Proving  ∀Lean4
arxiv.org·2d
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ∀Lean4
arxiv.org·6d
Positional Properties in Temporal Logic  ∀Lean4
arxiv.org·1d
On first-order model checking parameterized by the number of variables  ∀Lean4
arxiv.org·3d
Towards System-Oriented Formal Verification of Local-First Access Control  ⚙️Alloy
arxiv.org·2d
Counterexample-Guided Interval Weakening  ∀Lean4
arxiv.org·2d
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs  🔍Chip Verification
arxiv.org·3d
Optimal Planning and Control under Signal Temporal Logic Specifications  🤖Reinforcement Learning
arxiv.org·2d
CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction  ⚙️LLVM
arxiv.org·1d
The Chase in Lean -- Crafting a Formal Library for Existential Rule Research  ∀Lean4
arxiv.org·3d
Scenario-based System Testing for Distributed Robotics Applications  🌐Distributed Systems
arxiv.org·1d
Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon  🔌Embedded Rust
arxiv.org·3d
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification  ∀Lean4
arxiv.org·3d
Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems  🤖Anthropic Claude
arxiv.org·3d

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