🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Bayes predictive framework
danmackinlay.name·1d
🧮Kolmogorov Bounds
Sum 10 consecutive numbers trick
mindyourdecisions.com·2d
⚔️Lean Tactics
AI win of the day
languagelog.ldc.upenn.edu·6h
🏛️Philosophy
Binary Search in Haskell and Rust
mmhaskell.com·4d
📐Interval Arithmetic
AI Creates the Problems it Solves
dbreunig.com·8h
⚡Proof Automation
Let It Snow
arraythinking.wordpress.com·12h·
Discuss: Hacker News
🔗Concatenative Languages
Statistical shortcomings in standard math libraries, and how to fix them
evanmiller.org·3d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
What It Means to Be a 10x Engineer
medium.com·12h·
Discuss: Hacker News
📏Code Metrics
LLMs exploit our tolerance for sloppiness
humprog.org·3d·
Discuss: Hacker News
🧠Intelligence Compression
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·22h
📐Mathematical Art
Being a psychologist to your (over)thinking LLM
specy.app·3d·
Discuss: Hacker News
🔗Constraint Handling
New Energy-Based Transformer architecture aims to bring better "System 2 thinking" to AI models
the-decoder.com·11h
🧠Intelligence Compression
Machine Learning Fundamentals: confusion matrix with python
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·22h
⚡Incremental Computation
Teaching Resources for Embedding Ethics in Mathematics: Exercises, Projects, and Handouts
arxiv.org·2d
📚Archive Mathematics
An overlapping domain decomposition method for parametric Stokes and Stokes-Darcy problems via proper generalized decomposition
arxiv.org·1d
📐Linear Algebra
LLM Inference Handbook
bentoml.com·1d·
Discuss: Hacker News
💻Local LLMs
Opportunities for interpretable statistics for large language models
statmodeling.stat.columbia.edu·5h
🧠Intelligence Compression
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·22h
🔲Cellular Automata
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
arxiv.org·2d
🧠Computational Logic