Feeds to Scour
SubscribedAll
Scoured 3171 posts in 13.4 ms
Benchmarking Testing in Automated Theorem Proving  🧮Symbolic Execution
arxiv.org·2d
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  🧮Symbolic Execution
arxiv.org·6d
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)  🌊Dataflow Analysis
arxiv.org·18h
Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification  ⚡JIT Exploitation
arxiv.org·18h
Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers  🔀Concolic Execution
arxiv.org·2d
The Chase in Lean -- Crafting a Formal Library for Existential Rule Research  🌊Dataflow Analysis
arxiv.org·3d
Automaton-based Characterisations of First Order Logic over Infinite Trees  🔣Type Systems
arxiv.org·18h
Towards System-Oriented Formal Verification of Local-First Access Control  🔣Type Systems
arxiv.org·2d
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields  🧮Symbolic Execution
arxiv.org·18h
From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation  🧩Intermediate Representation
arxiv.org·2d
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)  🌊Dataflow Analysis
arxiv.org·6d
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent  🔀Concolic Execution
arxiv.org·18h
Counterexample-Guided Interval Weakening  🌊Dataflow Analysis
arxiv.org·2d
Templates in Rewriting Induction  🔣Type Systems
arxiv.org·18h
On first-order model checking parameterized by the number of variables  🌊Dataflow Analysis
arxiv.org·3d
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving  🔀Concolic Execution
arxiv.org·2d
Full Definability in a Profunctorial Model  🔣Type Systems
arxiv.org·18h
From Coalgebraic Determinization to Belief Construction for Partial Observability  🧩Intermediate Representation
arxiv.org·1d
Test-Time Safety Alignment  🎲Fuzzing
arxiv.org·18h
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs  🧮Symbolic Execution
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