Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Every moment is special: My Wikimania@20 Nairobi journey
diff.wikimedia.orgยท12h
Summer Q3 2025 books
scottlocklin.wordpress.comยท1d
Integrating content and language instruction for multilingual learners analyzed across bilingual programs
phys.orgยท6h
Forming Names, Globally
cogdogblog.comยท20h
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.orgยท1d
Why Task-Based Evaluations Matter
towardsdatascience.comยท8h
Loading...Loading more...