🐿️ 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

Secure Your Keys with Keyand.me
thasso.xyz·8h·
Discuss: Hacker News
🛡️seL4
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·23h·
Discuss: r/programming
👁️System Observability
LLMs and Algorithmic Trading
architect.co·1h·
Discuss: Hacker News
🐫Embedded OCaml
SEO, Logorrhoea and the Rise of Sick AI
purpleorca.co.uk·8h·
Discuss: Hacker News
➡️Category Theory
The hidden cost of AI reliance
codebytom.blog·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
How to scale RL to 10^26 FLOPs
blog.jxmo.io·19h·
Discuss: Hacker News
🎮Verification Games
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·2d
🔍Formal Verification
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·12h
🔍Formal Verification
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·12h
🎮Verification Games
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·12h
🎮Verification Games
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·12h
💻CS
I used Claude Sonnet 4 to help a customer import their blog archive in 46 mins
olly.pagecord.com·1d·
Discuss: Hacker News
🔬Static Analysis
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Show HN: Torsor- AI Assistants that generate documents for customers instantly
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Controlling Thinking Speed in Reasoning Models
arxiv.org·3d
🎮Verification Games
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·12h
🔍Formal Verification
Interleaving Logic and Counting
arxiv.org·3d
🎮Verification Games
Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
arxiv.org·3d
🎮Verification Games
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·1d
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap