Travels, 10
cameroncounts.wordpress.comยท1d
๐ŸŽฏPerformance Proofs
Counting with Categories (Part 3)
golem.ph.utexas.eduยท2d
ฮปLambda Formalization
ML in the Home
blog.raymond.burkholder.netยท2d
๐Ÿ“ˆTime Series
Hypercubical manifolds in homotopy type theory
arxiv.orgยท1d
๐Ÿ”ถCubical Type Theory
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.orgยท2d
๐Ÿ•ธ๏ธAlgebraic Topology
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.orgยท1d
๐Ÿ•ธ๏ธGraph Algorithms
Learning from Anatomy: Supervised Anatomical Pretraining (SAP) for Improved Metastatic Bone Disease Segmentation in Whole-Body MRI
arxiv.orgยท1d
๐Ÿง Machine Learning
Unlocking Hyper-Security: The Power of AI in Multi-Modal Biometric Systems
dev.toยท1dยท
Discuss: DEV
๐ŸŽตSpectral Hashing
Probing AI Safety with Source Code
arxiv.orgยท19h
โœจEffect Handlers
Curating art exhibitions using machine learning
arxiv.orgยท1d
๐ŸบComputational Archaeology
CORAL: Disentangling Latent Representations in Long-Tailed Diffusion
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
Algorithm Complexity: Time, Space, and Big-O Notation
dev.toยท1dยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
BSMamba: Brightness and Semantic Modeling for Long-Range Interaction in Low-Light Image Enhancement
arxiv.orgยท2d
๐Ÿ“Projective Geometry
The Bitter Lesson is coming for Tokenization
lucalp.devยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Monadic Parsing
A Simple but Accurate Approximation for Multivariate Gaussian Rate-Distortion Function and Its Application in Maximal Coding Rate Reduction
arxiv.orgยท2d
๐Ÿง Neural Compression
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.orgยท19h
๐ŸŽฏPerformance Proofs
SPD-CFL: Stepwise Parameter Dropout for Efficient Continual Federated Learning
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Language Bottleneck Models: A Framework for Interpretable Knowledge Tracing and Beyond
arxiv.orgยท3d
๐ŸงฎKolmogorov Complexity
A Hybrid DeBERTa and Gated Broad Learning System for Cyberbullying Detection in English Text
arxiv.orgยท3d
๐ŸŒ€Brotli Internals
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.orgยท1d
๐Ÿ“Compression Bounds