Login / Signup

homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories.

Nathan CorbynLukas HeidemannNick HuChiara SartiCalin TataruJamie Vicary
Published in: FSCD (2024)
Keyphrases
  • neural network
  • machine learning
  • clustering algorithm
  • preprocessing