🔍 Formal Verification - tiferrei · Scour

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

🧠Automated Reasoning Academic

Subversion-Resistance for Free from Formal Verification

🌐NetworkProtocols

lesswrong.com·

A New Post Quantum Cryptography Standard (Verification, etc. Included)

➡️Category Theory

zenodo.org··Hacker News

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

🧠Automated Reasoning Code

github.com··Hacker News

DB Nerds – Try this out

🧠Automated Reasoning

kesseldb.com··Hacker News

Traxia: A Framework for Verifiable, Agent-Native Scientific Publishing

🤖Program Synthesis Academic

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

🧠Automated Reasoning Academic

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

⏰Timed Automata Academic

The Complexity of Asynchronous HyperLTL

🧠Automated Reasoning Academic

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

🔬Static Analysis Academic

Climbing Up the Semantic Tower -- at Runtime

🤖Program Synthesis Academic

Novel Aspects of IEEE SA P3109 Arithmetic Formats for Machine Learning

🤖Program Synthesis Academic

The Biomimetic Architecture of Software 4.0

🔤Language Design Academic

No more posts from tiferrei's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling