Formal Methods

✅ Formal Methods

formal verification, model checking, theorem proving, program proof

Feeds to Scour
SubscribedAll
Scoured 67 posts in 13.6 ms
arXiv·

VeriBound: PAC-Bayesian Generalization Bounds for Process Reward Models Trained with Formal Verification Tools

Feeds
WWD
·

EXCLUSIVE: Le Coq Sportif Marks Maradona Milestone With Capsule as It Kicks Off New Era

Feeds
medium.com
·

Both the shortest available proof and the most structurally elegant proof at equal depth

Feeds
Sylvain Kerkour·

Announcing the CoQ protocol: Control over QUIC

Feeds
Adam Keys is typing·

The local maxima we need to reach the next global maximum

Feeds
ELISA·

Recap – Modernizing Software Verification – Craig Christianson, United States Air Force

Feeds
fark.com·

France sizzles in a week of punishing heat that is already causing deaths, with some reports stating that it's so hot you could braise a Coq a Vin with lardons ...

Feeds
John D. Cook·

All pieces on a 6 by 5 board

Discussed on Hacker News
Feeds
nLab·

Smyth's dictionary

Feeds
spawn-queue.acm.org·

You Don’t Know Jack About Formal Verification

Feeds
stunning-naiad-817d91.netlify.app·

AI and Math State of the Art

Covers 9 stories See all stories this covers including An OpenAI model has disproved a central conjecture in discrete geometry
Discussed on Hacker News
Feeds
tlaplus-process-studio.com·

Show HN: TLA+ Process Studio

Discussed on Hacker News
Feeds
dijkstrascry.com·

Edsger Dijkstra's Library (Housed and Archived in Leuven, Belgium)

Discussed on Hacker News
Feeds
Hagerty Media·

Zelda. Again. Still. Always.

Feeds
tldrsec.com·

Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec

Covers 8 stories See all stories this covers including Midjourney Ultrasonic CT Scanner
Feeds
arXiv·

Bit-Precise Conformance Testing of Simulink Model Checkers

Feeds
Linuxiac·

IETF Standardizes HTTP QUERY as Proposed Standard

Covers RFC proposed standard: HTTP Query Method
Feeds
Rapamycin Longevity News·

The Body Runs on a Battery — and Aging Is the Internal Resistance Climbing

Feeds
coindesk.com·

Vitalik Buterin says Ethereum Foundation will cut budget 40% in major reset

Feeds
Murat Demirbas·

Our Collective Bike Shed Moment

Discussed on Blogger
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
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
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help