Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.com·2d
🔄Graph Rewriting
Constructing Non-Markovian Decision Process via History Aggregator
arxiv.org·18h
🧠Machine Learning
From an idea to an ML paper in under 1 hour
letters.lossfunk.com·11h·
Discuss: Hacker News
🌳Incremental Parsing
Monkeys, Typewriters, and Busy Beavers
lcamtuf.substack.com·1d·
Discuss: Substack
📼Tape Combinators
Parameterized Complexity of Directed Traveling Salesman Problem
arxiv.org·1d
🧮Kolmogorov Complexity
Benchmarking Deep Search over Heterogeneous Enterprise Data
arxiv.org·18h
🔍Information Retrieval
New Paradigm for Computing Global Networks Databases, and Embedded Systems
la-acm.org·2d·
Discuss: Hacker News
💻Programming languages
Choosing the right approach for generative AI-powered structured data retrieval
aws.amazon.com·4h
🧠Query Planners
Scalable Dynamic Origin-Destination Demand Estimation Enhanced by High-Resolution Satellite Imagery Data
arxiv.org·18h
📊Computational Geometry
Graph Theory in Video Games: BitDP
utk.claranguyen.me·3d·
Discuss: Hacker News, r/programming
🔲Cellular Automata
Machine Understanding of Scientific Language
arxiv.org·18h
🤖Automated Parsing
Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
arxiv.org·18h
🎯Performance Proofs
Machine Learning Fundamentals: bayesian networks
dev.to·7h·
Discuss: DEV
🧠Machine Learning
Why Training on Time Series Beats Fine-Tuning LLMs for Time Series Tasks
hackernoon.com·1d
📈Time Series
MARBLE: A Hard Benchmark for Multimodal Spatial Reasoning and Planning
arxiv.org·18h
🧮Kolmogorov Complexity
Efficient and Accurate Image Provenance Analysis: A Scalable Pipeline for Large-scale Images
arxiv.org·18h
📄Document Digitization
AlphaBeta is not as good as you think: a new probabilistic model to better analyze deterministic game-solving algorithms
arxiv.org·1d
🔲Cellular Automata
Learning Constraints Directly from Network Data
arxiv.org·18h
🧠Machine Learning
Survey Statistics: Sparsified MRP
statmodeling.stat.columbia.edu·2h
📊Count-Min Sketch
General Mathematical Proof of Occam's Razor; Upgrading Theoretical Physicists' Methodology
arxiv.org·18h
🧮Kolmogorov Complexity