📋 Formal Methods - nickyfoto · Scour

Practical Formal Verification for MLIR Programs 🧠LLMs

The Verifiable Semantic Execution Layer 🧠LLMs

giveth.io·2h·DEV

MyceliaCognition/chaos-prover: Autonomous Neuro-Symbolic formal verification engine for Lean 4. 🔲ML Hardware

github.com·3d·Hacker News

Presentation: AI-First Software Delivery: Balancing Innovation with Proven Practices 🕵️AI Agents

·15h

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase 📐Language Design

types.pl·1d·Lobsters

Hardware From Specifications Using AI 🔲ML Hardware

semiengineering.com·19h

On-Policy [LLM] Distillation (2025) 🤖LLM

thinkingmachines.ai·3h·Hacker News

Bug Bash 2: Attack of the Clones 🤖AI Research

concerningquality.com·6d·Lobsters, Hacker News

Native proof verification 🔌Embedded Systems

ethresear.ch·1d

New Logic for Programmers (and the future of this newsletter) 📐Language Design

Computer Things via buttondown.com·10h·Hacker News

How Gödel’s Proof Works 📊Data Structures

3quarksdaily.com·9h

Bridging LLM Reasoning and Chemical Knowledge via an Evolutionary Multi-Agent Framework for Molecular Synthesis 🤖LLM

biorxiv.org·3h

Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality 🧮Algorithms

blog.zksecurity.xyz·2d·Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens 🔌Embedded Systems

osec.io·6d·Hacker News

Moving Beyond LLMs with NetAI and Graph Neural Networks 🤖LLM

techstrong.it·6h

Building an AI Agent for Azure Infrastructure Validation 🕵️AI Agents

techcommunity.microsoft.com·1d

Your AI Agents Are Already Inside the Perimeter. Do You Know What They're Doing? 🤖Agentic AI

thehackernews.com·16h

Survival over Scrutiny: Mapping the Breakdown of Constitutional Alignment 🔌Embedded Systems

lesswrong.com·5h

How to Work and Compound with AI ✍️Prompt Engineering

eugeneyan.com·4d·Hacker News

Agentic AI Tackles RTL Verification’s Productivity Gap 🕵️AI Agents

eetimes.com·2d

Log in to enable infinite scrolling