Cyclic Proofs for iGL via Corecursion
arxiv.org·13h
🧮SMT Solvers
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
🔗Graph Algorithms
Flag this post
Petri Dish Neural Cellular Automata
🔲Cellular Automata
Flag this post
Flatpak Happenings
📄FlatBuffers
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·13h
📊Dynamic Programming
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·1d
🧮Embeddings
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
🔧Data Engineering
Flag this post
I've created a leetcode for system design
🎨Design Systems
Flag this post
[D][P] PKBoost v2 is out! An entropy-guided boosting library with a focus on drift adaptation and multiclass/regression support.
🚀MLOps
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·1d
🚀Performance
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·1d
🕸️Graph Theory
Flag this post
Branched Signature Model
arxiv.org·1d
📐Computational Geometry
Flag this post
Dive into Systems
⚙️Systems Programming
Flag this post
Loading...Loading more...