📋 Formal Methods - ndjenks · Scour

TalentProof/workproof-schema: An open specification for verified professional knowledge graphs 🪝eBPF

github.com·16h·Hacker News

Towards System-Oriented Formal Verification of Local-First Access Control 🌐Distributed Systems

More hexagon acl2 first-order-logic/embeddable common lisp+McCLIM graphics 🔧Compilers

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

Benchmarking Testing in Automated Theorem Proving 🌳Parsing

Full Definability in a Profunctorial Model 🌳Parsing

The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive 🏗️AI Infrastructure

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods 🌳Parsing

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 🌳Parsing

Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering 🌐Distributed Systems

Illya-Kryushenko/architecture-as-code: Structured architecture models linked to CAF, Zero Trust, and Infrastructure as Code 🏛️Software Architecture

github.com·4d·DEV

Proof Identity and Categorical Models of BV 🎲Property Testing

A Category-Theoretic Framework from Biological Mechanics to Engineered Stimulus-Response Systems 🌐Distributed Systems

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation 🔧Compilers

ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation 🔧Compilers

rsoury/drive-agent-scope-in-ci: CI wiring for PR description-driven agent spec/scope verification. 📡Protocol Design

github.com·5d·Hacker News

Counterexample-Guided Interval Weakening 🪝eBPF

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving 🌳Parsing

poinsettiaclg-gif/AETHER-core: The open-source core compiler for the AETHER Agent Reliability Framework. Replaces fuzzy prompts with strict Weighted Intent Token (WIT) vectors to prevent Context Rot. 🏗️AI Infrastructure

github.com·3d·Hacker News

BenchGuard: Who Guards the Benchmarks? Automated Auditing of LLM Agent Benchmarks 🏗️AI Infrastructure

Beyond Single-Agent Alignment: Preventing Context-Fragmented Violations in Multi-Agent Systems 🌐Distributed Systems

Sign up or log in to see more results

Log in to enable infinite scrolling