Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Summer Q3 2025 books
scottlocklin.wordpress.com·1d
From Protest to Power Plant: Interpreting the Role of Escalatory Hacktivism in Cyber Conflict
arxiv.org·2d
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·1d
Why Task-Based Evaluations Matter
towardsdatascience.com·11h
Loading...Loading more...