Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·3h
💻Local LLMs
A very short, very blunt, book note
logicmatters.net·13h
⚔️Lean Theorem
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·3h·
Discuss: Hacker News
🔲Cellular Automata
On This Day in Math - October 6
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·13h
⏰Time Crystals
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·4d
⚔️Lean Theorem
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧮SMT Solvers
Causal Abstractions, Categorically Unified
arxiv.org·3h
✨Effect Handlers
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·20h·
Discuss: Hacker News
🧮Theoretical Computer Science
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·3h
🎯Performance Proofs
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·15h·
Discuss: DEV
🌳Trie Structures
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·15h·
Discuss: Hacker News
💻Local LLMs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·3h
⚡Proof Automation
Briefly Noted: Summer Reading
thepsmiths.com·10h·
Discuss: Hacker News
🔬Lean
Detecting Distillation Data from Reasoning Models
arxiv.org·3h
⚙️ABNF Mining
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·21h·
Discuss: Hacker News
🧮SMT Solvers