Freshman’s dream
johndcook.com·1d
⚔️Lean Tactics
Flag this post
What Can Be Recovered Under Sparse Adversarial Corruption? Assumption-Free Theory for Linear Measurements
arxiv.org·20h
📐Linear Algebra
Flag this post
Hyperloglog: Counting Without Counting
📊HyperLogLog
Flag this post
The Naked Man Problem and the Secret to Never Forgetting Numbers
🎯Arithmetic Coding Theory
Flag this post
PMPP-Eval Journey
🔍Concolic Testing
Flag this post
GHC: From Bug to Merge
🔤Type Theory
Flag this post
Accelerated Gradient Methods for Nonconvex Optimization: Escape Trajectories From Strict Saddle Points and Convergence to Local Minima
arxiv.org·1d
🎯Performance Proofs
Flag this post
4 Techniques to Optimize Your LLM Prompts for Cost, Latency and Performance
towardsdatascience.com·4h
📊Feed Optimization
Flag this post
GIFT: Group-relative Implicit Fine Tuning Integrates GRPO with DPO and UNA
arxiv.org·20h
⚡Z3 Optimization
Flag this post
[R] A geometric interpretation of the weight update in GPTQ quantization algorithm and a novel solution
📊Quantization
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·20h
💻Programming languages
Flag this post
Paillier Cryptosystem
🔐Homomorphic Encryption
Flag this post
ChessQA: Evaluating Large Language Models for Chess Understanding
arxiv.org·20h
🧠Intelligence Compression
Flag this post
On-Policy Distillation
💻Local LLMs
Flag this post
Optuna f-string Refactoring
⬆️Lambda Lifting
Flag this post
An Efficient Finite Difference-Based PML Technique for Acoustic Scattering Problems
arxiv.org·20h
🎼Audio Lambda Calculus
Flag this post
Information-Theoretic Discrete Diffusion
arxiv.org·20h
📡Information theory
Flag this post
Loading...Loading more...