From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·11h
👑Isabelle
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·35m
🔀Category Theory
Flag this post
Teaching Rust the SQL Language
🦀Rust Macros
Flag this post
a go parser for Claude Skills
🌳Incremental Parsing
Flag this post
Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
✓Automated Theorem Proving
Flag this post
The Complete AI Agent Decision Framework
machinelearningmastery.com·5h
⚡Proof Automation
Flag this post
The Fatal Math Error Killing Every AI Architecture - Including The New Ones
hackernoon.com·5h
👑Isabelle
Flag this post
Parsl
danmackinlay.name·14h
⚙️PL Implementation
Flag this post
Knowledge Reasoning Involving Four Types of Syllogisms
arxiv.org·11h
🐓Coq
Flag this post
A treap week
🎨Graph Coloring
Flag this post
ELI5 explanation of the CAP Theorem
⚛️Information Physics
Flag this post
Lang’s theorem — Pt. I: the classical result
ayoucis.wordpress.com·1d
🔀Category Theory
Flag this post
5 Fun NLP Projects for Absolute Beginners
kdnuggets.com·3h
📝Text Parsing
Flag this post
Loading...Loading more...