How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
Few-Shot Knowledge Distillation of LLMs With Counterfactual Explanations
arxiv.org·4h
💻Local LLMs
Flag this post
A moonlit week
λLambda Encodings
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·2h
🎯Performance Proofs
Flag this post
Weekly Challenge: The one about arrays
📊APL Heritage
Flag this post
Habits of Highly Mathematical People
⚔️Lean Theorem
Flag this post
Problems from the Land down Under
📜Manuscript Calculus
Flag this post
Language Modeling with Hierarchical Reasoning Models: Lessons from 1M Parameters
📊Quantization
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·4h
🧮Algebraic Datatypes
Flag this post
AI Is Dumber on Mondays
⚡Incremental Computation
Flag this post
Loading...Loading more...