Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
arxiv.org·2d
🧮Kolmogorov Complexity
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
💻CS
Flag this post
The Hallelujah Algorithm
🎨Graph Coloring
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·2d
🔬Lean
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·2d
📐Linear Algebra
Flag this post
AI and Intro Theory
🧮Kolmogorov Complexity
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.tech·2d
📊Quantization
Flag this post
Simons Fall 2026 Program on Pseudorandomness & High-Dimensional Expansion
cstheory-events.org·13h
🧮Theoretical Computer Science
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
📦Deflate
Flag this post
AI discovers a 5x faster MoE load balancing algorithm than human experts
🌊Streaming Algorithms
Flag this post
Researchers discover three factors that make AI agents significantly smarter
the-decoder.com·2h
🧠Intelligence Compression
Flag this post
A major week
🔢Bitwise Algorithms
Flag this post
Inside the Engine: Building a Real AI Solution from Prototype to Production
🌊Stream Processing
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
Loading...Loading more...