✅ Formal Verification - hop1.ng.1357 · Scour

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning 🤖LLM

arxiv.org·1d

An introduction to Turing machines and computation 🔁Finite Automata

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

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) 🔧Agent Tooling

github.com·1d·Hacker News

Writing a CHIP-8 Emulator from Spec 🪄Prompt Engineering

log.beshr.com·6d·Hacker News

Autonomous AI Penetration Testing 💉Prompt Injection

llmtary.com·1d·Hacker News

AI #163: Mythos Quest 🛡️AI Security

thezvi.substack.com·1d·Substack

Automatic removal of junk instructions through state tracking (2018) 🪄Prompt Engineering

usualsuspect.re·5d·Hacker News

Domain-Driven Design: Lean Aggregates 🤝Multi-Agent Orchestration

deniskyashif.com·5d·Hacker News, r/programming

Interactive Proofs [video] 🔐Cryptography

youtube.com·6d·Hacker News

Why Lean? ⚡Developer Experience

leodemoura.github.io·6d·Lobsters, Hacker News

We're excited to announce that AXLE is switching from Lean to Rocq 🦋Tauri

axle.axiommath.ai·6d·Hacker News

OpenAI: Short proofs in combinatorics, probability and number theory II 🔐Cryptography

arxiv.org·21h·Hacker News

LLM Reasoning as Trajectories: Step-Specific Representation Geometry and Correctness Signals 🤖LLM

arxiv.org·2d

Commonguy25/authproof-sdk: Cryptographically signed delegation receipts for AI agents. Define exactly what an AI can and can't do — signed, verifiable, tamper-proof. 💉Prompt Injection

github.com·3d·Hacker News

Claw-Eval: Toward Trustworthy Evaluation of Autonomous Agents 🛡️AI Security

arxiv.org·2d

SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERT ✨LLMs

arxiv.org·2d

wuyoscar/ISC-Bench: Internal Safety Collapse: Turning the LLM or an AI Agent into a sensitive data generator. 🛡️AI Security

github.com·6d·Hacker News

Fine-grained Approaches for Confidence Calibration of LLMs in Automated Code Revision ⚙️MLOps

arxiv.org·1d

TraceSafe: A Systematic Assessment of LLM Guardrails on Multi-Step Tool-Calling Trajectories 🛡️AI Safety

arxiv.org·1d

Nidus: Externalized Reasoning for AI-Assisted Engineering 🪄Prompt Engineering

arxiv.org·2d

Loading more...