Culture, Language, and Generative Language Models
cacm.acm.org·2d
🤖Grammar Induction
We still can't predict much of anything in biology
blog.genesmindsmachines.com·1d·
Discuss: Hacker News
🔲Cellular Automata
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·3d·
Discuss: r/programming
⚡Cache Coherence
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·3d·
Discuss: Hacker News
🧮SMT Solvers
A Comparative Study of Vision Transformers and CNNs for Few-Shot Rigid Transformation and Fundamental Matrix Estimation
arxiv.org·1d
📊Quantization
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·1d
🧠Machine Learning
🚀 Day 38 of My Data Journey
dev.to·4h·
Discuss: DEV
🕸️Neo4j
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·3d·
Discuss: DEV
⚡SMT Integration
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·19h
🧮Kolmogorov Bounds
QGraphLIME - Explaining Quantum Graph Neural Networks
arxiv.org·19h
🕸️Tensor Networks
How I Simplified Contributor Workflows with Rules, Prompts, and AI Agents
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·1d
🧠Machine Learning
Model-free generalized fiducial inference
arxiv.org·19h
🧮Kolmogorov Bounds
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Expand Neurons, Not Parameters
arxiv.org·1d
📊Quantization
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·1d
🎯Performance Proofs
Harmonizing AI Voices: Bridging the Gap in Intelligent Communication
dev.to·21h·
Discuss: DEV
🎙️Whisper
Comparing LSTM-Based Sequence-to-Sequence Forecasting Strategies for 24-Hour Solar Proton Flux Profiles Using GOES Data
arxiv.org·19h
📈Time Series
On Using Large Language Models to Enhance Clinically-Driven Missing Data Recovery Algorithms in Electronic Health Records
arxiv.org·1d
🔍Information Retrieval