Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
🔀OCaml Multicore
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·3d
⚡Process Calculi
Flag this post
[D] Kosmos achieves 79.4% accuracy in 12-hour autonomous research sessions, but verification remains the bottleneck
🧠Automated Reasoning
Flag this post
Learning When to Quit in Sales Conversations
arxiv.org·3d
🎮Verification Games
Flag this post
CARMA: Comprehensive Automatically-annotated Reddit Mental Health Dataset for Arabic
arxiv.org·1d
🧩Parser Combinators
Flag this post
Physics-Aware Neural Networks: Banishing Simulation Ghosts by Arvind Sundararajan
🔲Cellular Automata
Flag this post
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.org·5h
👁️Observability
Flag this post
Learning from Single Timestamps: Complexity Estimation in Laparoscopic Cholecystectomy
arxiv.org·5h
📐Linear Algebra
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·3d
🔲Cellular Automata
Flag this post
Enhanced Interoperability via Dynamic Semantic Alignment in Cross-Chain DeFi Protocols
🔒Protocol Verification
Flag this post
Not Over Or Under Indexed
lesswrong.com·2d
📵Digital Minimalism
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·3d
λFunctional Programming
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·3d
🔲Cellular Automata
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·3d
🔲Cellular Automata
Flag this post
Loading...Loading more...