Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧠Automated Reasoning
Flag this post
The Collapse of Centralized AI Discovery
👁️Observability
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·21h
🔲Cellular Automata
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·8h
🧩Parser Combinators
Flag this post
Why your AI evals keep breaking
👁️System Observability
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·8h
🧩Parser Combinators
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
Token-Regulated Group Relative Policy Optimization for Stable Reinforcement Learning in Large Language Models
arxiv.org·8h
🧩Parser Combinators
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·1d
📝Term Rewriting
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·8h
🛡️seL4
Flag this post
Matrix Phylogeny: Compact Spectral Fingerprints for Trap-Robust Preconditioner Selection
arxiv.org·8h
📐Linear Algebra
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·8h
🔍CBMC
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·8h
🧩Parser Combinators
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·8h
🔀OCaml Multicore
Flag this post
Loading...Loading more...