Minimizing an Uncrossed Collection of Drawings
arxiv.org·4h
🎨Graph Coloring
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·4h
🌳Pattern Match Compilation
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·3h·
Discuss: Hacker News
🏗️Calculus of Constructions
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·4h
🧮Combinator Calculus
Neo4j backs new graph query standard for AI era
blocksandfiles.com·17h
🔍Query Engines
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·1d·
Discuss: r/rust
🧩Constraint Solvers
What Are Data Structures and Algorithms? A Random CS Student's Guide (Part 1: Arrays)
dev.to·1d·
Discuss: DEV
🤐Zipper Structures
Learning in Stackelberg Markov Games
arxiv.org·4h
🔍Type Inference
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·4h
🪢Rope Data Structures
Automated Crystal Structure Refinement via Multi-Modal Graph Neural Networks and Bayesian Optimization
dev.to·9h·
Discuss: DEV
🧩Constraint Solvers
Fast, Accurate and Interpretable Graph Classification with Topological Kernels
arxiv.org·4h
📊Graph Compilers
From Easy to Hard: The MIR Benchmark for Progressive Interleaved Multi-Image Reasoning
arxiv.org·4h
🗺️Region Inference
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·23h
🌿Trie Structures
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·4h
🪜Recursive Descent
From domain-landmark graph learning to problem-landmark graph generation
arxiv.org·4h
📊Graph Compilers
Generalized DP-colorings of digraphs
arxiv.org·4h
🎨Graph Coloring
Sketching approximations and LP approximations for finite CSPs are related
arxiv.org·4h
🎨Graph Coloring
ComposableNav: Instruction-Following Navigation in Dynamic Environments via Composable Diffusion
arxiv.org·4h
🌊Loop Invariant Motion
🧠GraphScout: Self-Discovering Paths in OrKA
dev.to·1d·
Discuss: DEV
🎭Erlang OTP