Formal Methods

✅ Formal Methods

formal verification, model checking, theorem proving, program proof

Feeds to Scour
SubscribedAll
Scoured 67 posts in 16.8 ms
washingtonexaminer.com
·

Why the genocide libel is central to the propaganda war against Israel and Jews

Feeds
Simons Foundation·

From Trust to Verification: Lean’s Impact on Mathematics

Covers Lean: Programming Language and Theorem Prover
Feeds
chapterpal.com·

Sakana Fugu Technical Report

Discussed on Hacker News
Feeds
arXiv·

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety

Feeds
longevity.technology·

BPGbio advances potential first-ever treatment for primary CoQ10 deficiency

Feeds
stng.substack.com·

Why Software Requirements Get Easier in an AI Economy

Discussed on Substack
Feeds
TNW | Artificial-Intelligence·

Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery

Feeds
Adrian Sampson·

Advanced Compilers: The Self-Guided Online Course

Covers llvm.org - 20.3 kb
Covered by 4 sources See all sources covering this story including Hacker News, daemonology.net
Discussed on Hacker News
Feeds
arXiv·

A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions

Feeds
fark.com·

Today's reminder that people are out there still using Tesla's autopilot feature, which is neither auto nor pilot but is definitely all Tesla [Sad]

Feeds
SiliconANGLE·

Architect Labs nabs $24M to speed up chip design projects with AI

Feeds
ulam.ai·

ErdosBench Leaderboard

Feeds
arXiv·

Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes

Feeds
NAS Compares
·

UniFi ENAS Review – $3999 Well Spent?

Feeds
arXiv·

ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation

Feeds
Data Science Weekly Newsletter·

Issue 656

Covers 3 stories See all stories this covers including Running local models is good now
Discussed on Substack
Feeds
Simons Foundation·

Solved, Unsolved and Unsolvable: The Status of Hilbert’s 23 Problems in Mathematics

Discussed on Hacker News
Feeds
arXiv·

Cycle-Consistent Neural Explanation of Formal Verification Certificates

Feeds
TheSequence·

The Sequence Radar #880: Last Week in AI: A $60B Cursor Deal, Google's Brain Drain, and Midjourney's Body Scanner

Covers 4 stories See all stories this covers including Midjourney Ultrasonic CT Scanner
Discussed on Substack
Feeds
arXiv·

Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata

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