Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Full code to build your own AI agent with Python
thenewaiorder.substack.com·19h·
Discuss: Substack
🤖Archive Automation
Declarative Partial Updates Proposal
github.com·9h·
Discuss: Hacker News
🎬WebCodecs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·42m
⚡Proof Automation
A Comparative Study of Vision Transformers and CNNs for Few-Shot Rigid Transformation and Fundamental Matrix Estimation
arxiv.org·42m
📊Quantization
Expand Neurons, Not Parameters
arxiv.org·42m
📊Quantization
Unsupervised Active Learning via Natural Feature Progressive Framework
arxiv.org·42m
🧠Machine Learning
Show HN: TorchSystem, Event driven systems with PyTorch
github.com·3d·
Discuss: Hacker News
⚡Incremental Computation
FocusMed: A Large Language Model-based Framework for Enhancing Medical Question Summarization with Focus Identification
arxiv.org·42m
🔍Information Retrieval
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·42m
🧠Machine Learning
Large Language Models Achieve Gold Medal Performance at International Astronomy & Astrophysics Olympiad
arxiv.org·42m
🚀SIMD Text Processing
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·7h·
Discuss: DEV
🌐NetworkProtocols
A many-objective evolutionary algorithm using indicator-driven weight vector optimization
arxiv.org·1d
📐Vector Dimensionality
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·42m
🧠Machine Learning
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·42m
🔲Cellular Automata
Structure-Preserving MHD-Driftkinetic Discretization for Wave-Particle Interactions
arxiv.org·42m
🌐Computational Topology
Automated Harmonic Oscillation Analysis via Multi-Modal Data Fusion and Predictive Modeling
dev.to·2d·
Discuss: DEV
✨Algebraic Effects
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·1d
🧪Hardware Fuzzing
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·42m
✓Automated Theorem Proving
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·42m
💻Local LLMs