Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
How AI Agents Evolved and What’s Next
pub.towardsai.net·4h
⚡Concurrency
Flag this post
FG-CLIP 2: A Bilingual Fine-grained Vision-Language Alignment Model
🎲Probabilistic Programming
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🎲Probabilistic Programming
Flag this post
Issue 496
haskellweekly.news·3d
⚙Functional Programming
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
TikTok’s payment service struggled at 100,000 queries per second until engineers rewrote critical APIs in Rust
lord.technology·12h
🦀Rust
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧭SMT Solvers
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
🎲Probabilistic Programming
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🧮Programming Language Theory
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·2d
🔍Static Analysis
Flag this post
Multi-Modal Feature Fusion for Spatial Morphology Analysis of Traditional Villages via Hierarchical Graph Neural Networks
arxiv.org·5h
🕸️Graph Theory
Flag this post
Engineering a Trillion-Parameter Architecture on Consumer Hardware
hackernoon.com·4h
🧭SMT Solvers
Flag this post
Loading...Loading more...