Wendy Sun
4 followers · 6 following · 256 views
on the atlas — 12
- Introduction to Program Synthesis3 savers
- All Posts – Sander Dieleman1 savers
- FrontierMath: Evaluating Advanced Mathematical Reasoning in AI | Epoch AI | Epoch AI1 savers
- Lil'Log22 savers
- Three Sins of Authors in Computer Science and Math3 savers
- Mathematics in Lean — Mathematics in Lean 0.1 documentation2 savers
- Probabilistic Models of Cognition - 2nd Edition2 savers
- bgavran/Category_Theory_Machine_Learning: List of papers studying machine learning through the lens of category theory1 savers
- Faithful, Interpretable Model Explanations via Causal Abstraction | SAIL Blog3 savers
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++2 savers
- My Obsidian Note-Taking Workflow | ssp.sh4 savers
- Categories for AI3 savers