Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·3h
📏Range Queries
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·3h
⚔️Lean Theorem
Meet the Flummoxagon
n-e-r-v-o-u-s.com·17h·
Discuss: Hacker News
📐Mathematical Art
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·20h
🎯Proof Tactics
Algorithmic Archive Project: Use Cases (1/3)
blogs.bodleian.ox.ac.uk·21h
📊Citation Graphs
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·1d
🧮Kolmogorov Complexity
News for September 2025
ptreview.sublinear.info·3d
🧪Property-Based Testing
Unlocking Quantum Insights: Making Sense of Quantum Graph Networks
dev.to·3h·
Discuss: DEV
🕸️Tensor Networks
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·19h
🔢Reed-Solomon Math
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·1d
📈Linear programming
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·3h
🎨Graph Coloring
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·18h
📐Mathematical Art
[D] Attending a conference without an accepted paper
reddit.com·1h·
📜Document Physics
Inductive inference of gradient-boosted decision trees on graphs for insurance fraud detection
arxiv.org·3h
🧠Machine Learning
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·2d·
Discuss: r/programming
Cache Coherence
MaNGO - Adaptable Graph Network Simulators via Meta-Learning
arxiv.org·3h
🕸️Tensor Networks
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·1d
🎯Performance Proofs
QGraphLIME - Explaining Quantum Graph Neural Networks
arxiv.org·3h
🕸️Tensor Networks
ARMOR: High-Performance Semi-Structured Pruning via Adaptive Matrix Factorization
arxiv.org·3h
🧠Machine Learning