Neuro-Symbolic AI
en.wikipedia.org·12h·
Discuss: Hacker News
🔲Cellular Automata
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·1d·
Discuss: Hacker News
📊Learned Metrics
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·22h
📐Compression Bounds
My First Week of Vibecoding
underreacted.leaflet.pub·11m·
Discuss: Hacker News
🎯Gradual Typing
Beyond Grid-Locked Voxels: Neural Response Functions for Continuous Brain Encoding
arxiv.org·22h
🧠Neural Codecs
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·22h·
Discuss: r/LLM
💻Local LLMs
SliceFine: The Universal Winning-Slice Hypothesis for Pretrained Networks
arxiv.org·22h
🧠Neural Codecs
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·16h·
Discuss: DEV
🌊Streaming Compression
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·22h
💻Local LLMs
Fast Leave-One-Out Approximation from Fragment-Target Prevalence Vectors (molFTP) : From Dummy Masking to Key-LOO for Leakage-Free Feature Construction
arxiv.org·2d
🧮SMT Solvers
To Sink or Not to Sink: Visual Information Pathways in Large Vision-Language Models
arxiv.org·22h
📊Learned Metrics
A Systematic Evaluation of Self-Supervised Learning for Label-Efficient Sleep Staging with Wearable EEG
arxiv.org·22h
🧠Machine Learning
Randomized and quantum approximate matrix multiplication
arxiv.org·22h
🔐Quantum Cryptography
The Hidden Oracle Inside Your AI: Unveiling Data Density with Latent Space Magic by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·22h
🔗Graph Isomorphism
On the Relationship Between the Choice of Representation and In-Context Learning
arxiv.org·22h
📊Learned Metrics
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
⚙️Proof Engineering
From RNNs to ChatGPT: The Paper That Changed How AI Thinks 🤖
dev.to·10h·
Discuss: DEV
🎧Learned Audio
IASC: Interactive Agentic System for ConLangs
arxiv.org·22h
🌳Context free grammars