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

Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·3h
🔠Type-Level Programming
AI Agents Under the Hood
blog.surkar.in·2d·
Discuss: Hacker News
🤖Program Synthesis
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·12h·
Discuss: Hacker News
🛡️seL4
On Trustworthy Rule-Based Models and Explanations
arxiv.org·3h
🔬Static Analysis
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3h
🔍Formal Verification
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·9h·
Discuss: r/programming
🔬Static Analysis
Layers of Lawyers and Liars
matthewbutterick.com·16h·
Discuss: Hacker News
🎮Verification Games
Enhancing LLM performance with reasoning using deterministic feedback loops
usekbai.com·4d·
Discuss: Hacker News
🎮Verification Games
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·3h
🎮Verification Games
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·3d·
Discuss: Hacker News
➡️Category Theory
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
arxiv.org·2d
🧪Property-Based Testing
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·1d·
Discuss: Hacker News
👁️System Observability
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·2d
🎮Verification Games
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
🐫OCaml
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·3h
🔍Formal Verification
Loading...Loading more...
AboutBlogChangelogRoadmap