🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✓ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Relative Completeness of Incorrectness Separation Logic
arxiv.org·7h
🧠Separation Logic
MLE-STAR is designed to automate machine learning pipelines with minimal human input
the-decoder.com·20h
🤖AI Curation
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
SAT Requires Exhaustive Search
link.springer.com·14h·
Discuss: Hacker News
🧮Kolmogorov Complexity
From Drift to Discipline: How Governed Cognition Makes AI a Reliable Junior Developer
hackernoon.com·13h
⚔️Lean Tactics
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·4h
✅Archive Validation
Show HN: Software devs, I made a tool to make creating estimates less painful
devtimate.com·2h·
Discuss: Hacker News
⚡Proof Automation
Hack Smarter: Automate Security Testing with LLMs and the CAI Framework
infosecwriteups.com·1d
🏠Homelab Pentesting
Autonomous Penetration Testing: Solving Capture-the-Flag Challenges with LLMs
arxiv.org·7h
⚡Proof Automation
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·7h
⚡Proof Automation
From detection to trust: the evolving challenge of AI bot authentication
blog.castle.io·43m·
Discuss: Hacker News
🎫Kerberos History
Briefly explained: What's behind the buzzword AI agents
heise.de·1d
🎙️Whisper
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·21h
📝Concrete Syntax
Proofs of the Pythagorean Theorem
cut-the-knot.org·21h·
Discuss: Hacker News
🎯Proof Tactics
Machine Learning Fundamentals: machine learning tutorial
dev.to·18h·
Discuss: DEV
🧮Z3 Applications
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Who Am I in the Eye of AI?
lightcapai.medium.com·17h·
Discuss: Hacker News
🔲Cellular Automata
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·7h
🧮Kolmogorov Complexity
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·7h
🔄Finite State Machines
Loading...Loading more...
AboutBlogChangelogRoadmap