✅ Formal Verification - danielfox

⚙Complex ststems News Blog

larkmatter.substack.com··Substack

Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left

⚙Complex ststems

ethresear.ch·

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

🤖Automata Theory Academic

arxiv.org·

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

🌐Distributed Systems Blog

medium.com·

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

⚙Complex ststems

universetoday.com··Hacker News

Inside the New X Labs Funding Model for Quantum and Photonics

⚙Complex ststems

spectrum.ieee.org

Conformal Prediction for Dyadic Regression Under Complex Missingness

📊Streaming ML Academic

arxiv.org·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

🦀Rust Code

github.com··Hacker News

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

🤖Automata Theory Academic

arxiv.org·

Syntax-driven Incremental Program Verification of Matching Logic Properties

🤖Automata Theory Academic

arxiv.org·

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

📊Streaming ML Academic

arxiv.org·

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

🤖Automata Theory Academic

arxiv.org·

Formal verification of the S-two AIR

🌐Distributed Systems 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.

🧩Complexity Theory Code

github.com··Hacker News

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

🤖Automata Theory Academic

arxiv.org·

Successful Arbitrage, or the Art of Always Landing on Its Feet Like a Cat

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years

Better decisions at scale: How mathematical optimization delivers where intuition fails

Man-Computer Symbiosis J. C. R. Licklider (1960)

Where the f*ck is the Excalidraw markup table?

Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

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

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

Inside the New X Labs Funding Model for Quantum and Photonics

Conformal Prediction for Dyadic Regression Under Complex Missingness

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

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

Syntax-driven Incremental Program Verification of Matching Logic Properties

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

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

Formal verification of the S-two AIR

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.

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean