🔮 Proof Search - matmat · Scour

Large Language Model for OWL Proofs

arxiv.org·23h

🧮Theorem Proving

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

**Abstract:** This paper introduces a novel approach to automated proof verification within quantifiable type theory, significantly exceeding existing capaci...

freederia.com·4d

👑Coq Tactics

How I Automate Parts of My Software Development Lifecycle with AI Agents

dev.to·13h·

Discuss: DEV

⚡Proof Automation

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

Logic Puzzle with Poison Pill

dev.to·1d·

Discuss: DEV

Counterexample Classification against Signal Temporal Logic Specifications

arxiv.org·23h

⏰Temporal Logic

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·20h·

Discuss: Hacker News

🧮Kolmogorov Bounds

Focus on ‘Don’ts’ to build systems that know when to say ‘No’

thenewstack.io·12h

🔗Constraint Handling

We built Cedar with automated reasoning and differential testing (2023)

amazon.science·2d·

Discuss: Hacker News

🔍Concolic Testing

On the way to step functions: the two worlds

blog.julik.nl·2d

🐚Shell Calculus

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

🔬Logic in Computer Science

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·2d

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·1d

🔬Binary Analysis

Show HN: Link Graph Analysis Tool for Osint Analysts with 70 Transforms

webvetted.com·16h·

Discuss: Hacker News

🌐WARC Forensics

What AI Accountability Looks Like (I Built It)

forgeforward.substack.com·8h·

Discuss: Substack

🤖AI Curation

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·16h

📊Static Analysis

Software as clay on the wheel

dri.es·1d

⚡Proof Automation

Loading more...