A super protein evolution engine
nature.comยท13h
๐คProtocol Design
Flag this post
The Infrastructure of Modern Ran king Systems, Part 2: The Data Layer - Fueling the Models with Feature and Vector Stores
shaped.aiยท2d
๐Distributed Systems
Flag this post
Large language models still struggle to tell fact from opinion, analysis finds
techxplore.comยท14h
๐ขMathematical Logic
Flag this post
How Perplexity Built an AI Google
blog.bytebytego.comยท1d
๐ฒProbabilistic Programming
Flag this post
Can LLMs subtract numbers?
arxiv.orgยท42m
โ๏ธLogic Programming
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.orgยท1d
๐ฒProbabilistic Programming
Flag this post
KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
๐ฒProbabilistic Programming
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.orgยท1d
๐งฉTheorem Proving
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
๐ฒProbabilistic Programming
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
๐Distributed Systems
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.orgยท1d
๐งญSMT Solvers
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.orgยท1d
๐ขMathematical Logic
Flag this post
Disciplined Biconvex Programming
arxiv.orgยท1d
โFunctional Programming
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท1d
๐Information Theory
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.orgยท1d
๐ฒProbabilistic Programming
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
๐งฎProgramming Language Theory
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.orgยท42m
๐ฒProbabilistic Programming
Flag this post
Loading...Loading more...