✓ Formal Verification - codenm.no2 · Scour

Abduction Prover in Isabelle/HOL

🔬Formal Methods Academic

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

⚙️Compilers

lix.polytechnique.fr·

Programming Languages Software Award

🛡️Memory Safety

Lean Programming Language

⚙️Compilers

lean-lang.org·

How AI is reshaping discovery in maths and physics

🧠LLM Academic

nature.com··Hacker News

Introducing Jo — Secure Programming for the AI Era

🎯AI Agents Blog

jo-lang.org··Hacker News

The Proof in the Code

🔢Homomorphic Encryption

quantabooks.org·

A Proof in Coq that Core Logic is not Paraconsistent

🔬Formal Methods Academic

Less-relevant results

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

✍️Prompt Engineering Academic

groups.csail.mit.edu··Hacker News

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

🧠LLM Academic

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

🔬Formal Methods Academic

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

🔬Formal Methods Academic

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

🔬Formal Methods Academic

Formal verification of the S-two AIR

🔬Formal Methods Academic

The Complexity of Asynchronous HyperLTL

🔬Formal Methods Academic

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

🎯AI Agents Academic

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

🧠LLM Academic

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

🧩Logseq Academic

A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem

🔢Homomorphic Encryption Academic

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

🎯AI Agents Academic

No more posts from codenm.no2's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling