Ask a techspert: What is inference?
blog.google·2d
📊Quantization
Coping with Complexity
slott56.github.io·5d
🔗Concatenative Programming
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·1h·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·7h·
Discuss: Substack
🔲Cellular Automata
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·2d
🎯Performance Proofs
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·2d
⚖️Hoare Logic
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·2d
🔐Quantum Security
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·10h
📊Quantization
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·10h
🧠Intelligence Compression
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs
Machine Learning Fundamentals: active learning with python
dev.to·21h·
Discuss: DEV
🧠Machine Learning
Data-Driven Dynamic Factor Modeling via Manifold Learning
arxiv.org·10h
🌀Differential Geometry
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·2d
📏Linear Logic
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·10h
📃Manuscript Tokenization