A very short, very blunt, book note
logicmatters.netยท5d
โš”๏ธLean Theorem
Prime Portraits
archive.bridgesmathart.orgยท1d
๐Ÿ“Mathematical Art
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
vibe.forem.comยท9hยท
Discuss: DEV
โš”๏ธLean Tactics
Letโ€™s talk about LLM guardrails
blog.adnansiddiqi.meยท9hยท
Discuss: Hacker News
๐ŸŽฏProof Tactics
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท2dยท
Discuss: Hacker News
ฮปLambda Encodings
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.comยท5dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.toยท20hยท
Discuss: DEV
๐Ÿ“ฅFeed Aggregation
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.orgยท1d
โœ“Automated Theorem Proving
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.orgยท3d
๐Ÿ•ธ๏ธGraph Algorithms
Revisiting Mixout: An Overlooked Path to Robust Finetuning
arxiv.orgยท2d
๐Ÿง Learned Codecs
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.toยท2dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
In-Depth Analysis: "Attention Is All You Need"
dev.toยท1dยท
Discuss: DEV
๐Ÿง Intelligence Compression
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Causal Abstractions, Categorically Unified
arxiv.orgยท4d
โœจEffect Handlers
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.orgยท4d
โœ“Automated Theorem Proving
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท21hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท1d
๐ŸŒณContext free grammars
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.toยท8hยท
Discuss: DEV
๐ŸŒˆSpectroscopy