Think DSP second edition
allendowney.comยท9h
โFunctional Programming
Flag this post
Building a Multimodal RAG That Responds with Text, Images, and Tables from Sources
towardsdatascience.comยท1d
๐ฒProbabilistic Programming
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.comยท9h
๐Static Analysis
Flag this post
Understanding Tokenization in Large Language Models
pub.towardsai.netยท1d
๐งฎProgramming Language Theory
Flag this post
Hybrid Retrieval-Augmented Generation Agent for Trustworthy Legal Question Answering in Judicial Forensics
arxiv.orgยท21h
๐งญSMT Solvers
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.orgยท21h
๐ขMathematical Logic
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.orgยท21h
๐Complexity Theory
Flag this post
Opportunistically Parallel Lambda Calculus
๐Lisp
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท21h
๐Information Theory
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
โAlgorithmic Game Theory
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.orgยท21h
๐งฉTheorem Proving
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.orgยท21h
๐ฒProbabilistic Programming
Flag this post
End-to-End Framework Integrating Generative AI and Deep Reinforcement Learning for Autonomous Ultrasound Scanning
arxiv.orgยท21h
๐ฒProbabilistic Programming
Flag this post
KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
๐ฒProbabilistic Programming
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
๐ฒProbabilistic Programming
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.orgยท21h
๐ฒ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ยท21h
๐งญSMT Solvers
Flag this post
Loading...Loading more...