How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·7h·
Discuss: Hacker News
🎯Interactive Provers
Decoding the Individual Brain: Personalized Connectomes Through AI
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Turbocharge Your Diffusion LLMs: Adaptive Block Decoding for Peak Performance by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🌊Streaming Compression
SLAP: Learning Speaker and Health-Related Representations from Natural Language Supervision
arxiv.org·2d
🎵Audio ML
Aligning Video Models with Human Social Judgments via Behavior-Guided Fine-Tuning
arxiv.org·2d
📊Learned Metrics
Vibecoding a Cyberpunk 3D GUI for System Commissioning
blog.funcall.org·2d·
Discuss: Hacker News
🧩WASM Components
[P] Introducing LabelMob: A Data Annotation Marketplace with 150+ Jobs for ML Projects
reddit.com·3h·
🗂️Vector Databases
I Trained a Small Language Model from Scratch
nwosunneoma.medium.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Adaptive Channel Equalization via Hyperdimensional Representation for Multi-Mode Optical Fiber Communication
dev.to·2d·
Discuss: DEV
⚛️Quantum Codecs
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·10h·
Discuss: Hacker News
Incremental Computation
Analyzing Latent Concepts in Code Language Models
arxiv.org·3d
🔢Denotational Semantics
Dynamic Visual Hierarchy Generation for Adaptive HMI Layouts via Generative Adversarial Networks
dev.to·2d·
Discuss: DEV
📊Learned Metrics
Adaptive Source-Channel Coding for Multi-User Semantic and Data Communications
arxiv.org·5d
🌊Distributed Codecs
Efficient Quantum Field Theory Simulations via Hybrid Tensor Network & Variational Autoencoder Approach
dev.to·10h·
Discuss: DEV
🕸️Tensor Networks
Redundancy-as-Masking: Formalizing the Artificial Age Score (AAS) to Model Memory Aging in Generative AI
arxiv.org·2d
🔲Cellular Automata
Show HN: Sora2 AI – AI video generation with Sora2 and Veo3 support
aisora2.org·1d·
Discuss: Hacker News
🎬WebCodecs
Self-Evolving Vision-Language Models for Image Quality Assessment via Voting and Ranking
arxiv.org·4d
🧠Neural Codecs
Advanced Multi-Modal Nanoparticle Classification via Spatio-Temporal Graph Neural Networks
dev.to·3h·
Discuss: DEV
🧠Machine Learning