Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Our daughter is being controlled by a school friend. What can we do?
theguardian.com·1d
Measuring Bias or Measuring the Task: Understanding the Brittle Nature of LLM Gender Biases
arxiv.org·3d
Loading...Loading more...