📐 Formal Methods - ch1n3du · Scour

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning λType Theory

arxiv.org·1d

Cryptographic Provenance for LLM Inference λType Theory

commitllm.com·6d·Hacker News

LFCS Seminar: Tuesday 14th April: Rini Banerjee | LFCS ⚙️Compilers

informatics.ed.ac.uk·6h

Separator-Based Participation Commitments for Post-Quantum Attestation Aggregation λType Theory

ethresear.ch·1d

The spectrum of consistency strengths for membership in a computably enumerable set, Notre Dame Logic Seminar, April 2026 💻CS Theory

jdh.hamkins.org·5d

Tax logic evaluation with Prolog · mthom scryer-prolog ⊢Logic

github.com·2d·Hacker News

Shipping faster, thinking less? The AI code verification trap 🔍Interpretability

leaddev.com·1d·Hacker News

Automated Security Assertion Generation Using LLMs (U. of Florida) ⚙️Compilers

semiengineering.com·6d

Secure MSM Outsourcing Computation for Zero-knowledge Proof Generation λType Theory

eprint.iacr.org·2d

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline λType Theory

symbolic.software·3d

Designing from Invariants 🔍Interpretability

looppass.mindmeld360.com·2d·DEV

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer λType Theory

arxiv.org·11h

Code: Specification vs. implementation λType Theory

beesbuzz.biz·1d

An introduction to Turing machines and computation λType Theory

max-amb.github.io·6d·Hacker News

A deterministic workflow compiler –> turns LLM intent into forms, docs, and APIs ⚙️Compilers

web.geniesnap.com·2d·Hacker News

Proof Before Execution: Nothing Runs Without Being Proven 🔍Interpretability

medium.com·3d

Extensible Execution Transaction for Account Capabilities ⚙️Mechanism Design

ethereum-magicians.org·2d

Homespun acl2 handler-bind condition handling λType Theory

lispy-gopher-show.itch.io·4d

806 Proofs, 44 Annotations: What grind Can and Can't Do 💻CS Theory

alok.github.io·4d

On Formally Undecidable Propositions of Nondeterministic Complexity and Related Classes λType Theory

arxiv.org·11h

Loading more...