Few-Shot Knowledge Distillation of LLMs With Counterfactual Explanations
arxiv.org·11h
💻Local LLMs
Flag this post
How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·9h
🎯Performance Proofs
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·6h
⚡SIMD Vectorization
Flag this post
PMPP-Eval Journey
🔍Concolic Testing
Flag this post
Weekly Challenge: The one about arrays
📊APL Heritage
Flag this post
A moonlit week
λLambda Encodings
Flag this post
Beyond Benchmarks: Testing Open-Source LLMs in Multi-Agent Workflows
blog.scottlogic.com·15h
⚡Performance Mythology
Flag this post
Claude, Teach Me Something
hugotunius.se·1d
🤖Grammar Induction
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.dev·1h
👁️System Observability
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·6h
🔗Constraint Handling
Flag this post
Problems from the Land down Under
📜Manuscript Calculus
Flag this post
How to Auto-optimize Prompts for Domain Tasks? Adaptive Prompting and Reasoning through Evolutionary Domain Knowledge Adaptation
arxiv.org·11h
🔗Constraint Handling
Flag this post
Five LLM Tricks for Data Pipelines
🔗Constraint Handling
Flag this post
Reasoning's Razor: Reasoning Improves Accuracy but Can Hurt Recall at Critical Operating Points in Safety and Hallucination Detection
arxiv.org·11h
🔬Logic in Computer Science
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
Paillier Cryptosystem
🔐Homomorphic Encryption
Flag this post
Loading...Loading more...