Feeds to Scour
SubscribedAll
Scoured 33 posts in 12.8 ms
OProver: A Unified Framework for Agentic Formal Theorem Proving  🔀Concolic Execution
arxiv.org·2d
CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems  🔀Concolic Execution
arxiv.org·6d
Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem  🧮Symbolic Execution
arxiv.org·1d
Automating Bitvector and Finite Field Equivalence Proofs in Lean  🌊Dataflow Analysis
arxiv.org·6d
CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean  🧮Symbolic Execution
arxiv.org·2d
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair  🔀Concolic Execution
arxiv.org·2d
LeanBET: Formally-verified surface area calculations in Lean  🌊Dataflow Analysis
arxiv.org·3d
End-to-End Formalization of Quantum Error Correction  🧩Intermediate Representation
arxiv.org·2d
Kofola 1.0: A Modular Approach to {\omega}-Regular Complementation and Inclusion Checking (Technical Report)  🔣Type Systems
arxiv.org·3d
Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems  ⚡JIT Exploitation
arxiv.org·2d·Hacker News
Automating proof search when equality is a logical connective  🧮Symbolic Execution
arxiv.org·1d
EPIC: Abstraction and Polymorphism of In-Network Collectives on Ethernet  🔣Type Systems
arxiv.org·2d
Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems  🔀Concolic Execution
arxiv.org·3d
Monitoring Data-aware Temporal Properties (Extended Version)  🌊Dataflow Analysis
arxiv.org·6d
Completeness of Synthesis under Realizability Assumptions using Superposition  🔀Concolic Execution
arxiv.org·1d
Executable Boundary Contracts for Sound Event Traces  🔒CFI
arxiv.org·1d
A foundational characterization of Hoare Logic  🔣Type Systems
arxiv.org·6d
Mapping Uncharted Symmetries: Machine Discovery in Combinatorics  🔣Type Systems
arxiv.org·1d
Caesar: A Deductive Verifier for Probabilistic Programs  🧮Symbolic Execution
arxiv.org·3d
Satisfiability Modulo Extensional Constant Arrays (Extended Version)  🔣Type Systems
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