PulseAugur
EN
LIVE 02:48:33
ENTITY homotopy type theory

homotopy type theory

PulseAugur coverage of homotopy type theory — every cluster mentioning homotopy type theory across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
0
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. COMMENTARY · CL_187802 ·

    Category theory and type theory offer new ways to understand LLM abstractions

    The author suggests that now is the opportune moment to delve into category theory and various type theories, such as simple, dependent, and homotopy type theory, to better understand and manipulate the abstractions lea…