Formal Methods

Feeds to Scour
SubscribedAll
Scoured 63 posts in 6.3 ms

Syntax-driven Incremental Program Verification of Matching Logic Properties

 💻Computer Science  Content type: Academic
arxiv.org·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

 λFunctional Programming  Content type: Code
github.com·
Less-relevant results

Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left

 💻Computer Science
ethresear.ch·

The new Intel Arc G3-powered MSI Claw 8 EX AI+ makes my Steam Deck look like a Happy Meal toy by comparison — it’s time for an upgrade

 🔬CPU Architecture
techradar.com
·

It's good enough to ship Direction.Blog

 💻Computer Science  Content type: Blog
givedirection.com··Hacker News

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

 💻Computer Science
universetoday.com··Hacker News

Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN

 🐧Linux  Content type: Blog
medium.com·

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

 λFunctional Programming  Content type: Academic
arxiv.org·

Inside the New X Labs Funding Model for Quantum and Photonics

 💻Computer Science
spectrum.ieee.org
·

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

 🌐Distributed Systems  Content type: Academic
arxiv.org·

Geeoon/Fault-Injection-Finder: For Spring 2026 EE 470

 🔧Systems Programming  Content type: Code
github.com··Hacker News

Correct-by-Construction Design of Timed Systems in Event-B

 λFunctional Programming  Content type: Academic
arxiv.org·

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

 λFunctional Programming  Content type: Academic
arxiv.org·

Formal verification of the S-two AIR

 💻Computer Science  Content type: Academic
arxiv.org·

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

 💻Computer Science  Content type: Code
github.com··Hacker News

The Complexity of Asynchronous HyperLTL

 λFunctional Programming  Content type: Academic
arxiv.org·

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

 💻Computer Science  Content type: Academic
arxiv.org·

Ada-Europe - AEiC 2026 early registration deadline imminent (Sweden, June 26)

 🔧Systems Programming
compilers.iecc.com·

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies

 🗃️Vector Databases  Content type: Academic
arxiv.org·

Explainably Safe Reinforcement Learning

 λFunctional Programming  Content type: Academic
arxiv.org·
Sign up or log in to see more results
Sign UpLogin

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