Three challenges in machine-based reasoning
amazon.science·17h·
Discuss: Hacker News
🧠Computational Logic
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·18h
📏Linear Logic
How To Solve Every Programming Problem
blog.codeminer42.com·3h
📐Interval Arithmetic
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·5h
🧪Property-Based Testing
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·2h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·7h·
Discuss: Hacker News
⚡Proof Automation
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·18h
✨Effect Handlers
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🎯Proof Tactics
AI can write code, but should you trust it blindly?
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Vibe Coding the MIT Course Catalog
stackdiver.com·3h·
Discuss: Hacker News
🌀Brotli Internals
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Show HN: Principles of Building AI Agents book [pdf]
github.com·7h·
Discuss: Hacker News
⚡Proof Automation
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·23h·
Discuss: Hacker News
🌳Incremental Parsing
[R] LLMs Have a Heart of Stone: Demystifying the Soft Thinking Ability of Large Reasoning Models
reddit.com·6h·
Discuss: r/MachineLearning
🧮Prolog Parsing
DSPy Simba Explained
blog.mariusvach.com·23h·
Discuss: Hacker News
🧮SMT Solvers
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·18h
📊Static Analysis