Feeds to Scour
SubscribedAll
Scoured 184054 posts in 22.1 ms
Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers  🔗Dependent Types
arxiv.org·2d
Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon  🔍Chip Verification
eprint.iacr.org·6d
KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design.  🖥️Self-hosted Infrastructure
github.com·23h·Hacker News
Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.)  🤖AI agents
semiengineering.com·2d
Replacing probabilistic AI with deterministic math and Dafny formal verification  ⚖️Consensus Networks
gist.github.com·5d·Hacker News
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields  🧩Constraint Programming
arxiv.org·12h
Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4  ⚙️Alloy
arxiv.org·2d
Surface Sensitivity in Lean 4 Autoformalization  🦀Rust Macros
arxiv.org·2d
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs  🔍Chip Verification
arxiv.org·3d
ZFLean: a framework for set-level mathematics in Lean  📐TLA+
arxiv.org·2d
From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation  📐TLA+
arxiv.org·2d
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification  🤖AI Coding Tools
arxiv.org·3d
Towards System-Oriented Formal Verification of Local-First Access Control  📐TLA+
arxiv.org·2d
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect  🔗Dependent Types
arxiv.org·6d
From Coalgebraic Determinization to Belief Construction for Partial Observability  🎯Hindley-Milner
arxiv.org·1d
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8  📐Computational Geometry
arxiv.org·2d
Causality and Semantic Separation  🔗Dependent Types
arxiv.org·3d
Verification of Correlated Equilibria in Concurrent Reachability Games  ⚙️Concurrency Models
arxiv.org·2d
GeoCert: Certified Geometric AI for Reliable Forecasting  📱Edge AI
arxiv.org·2d
Hybrid Path-Sums for Hybrid Quantum Programs  🔢Homomorphic Encryption
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