The Latent Space of Equational Theories
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917228346081280 |
|---|---|
| author | Berlioz, Luis Melliès, Paul-André |
| author_facet | Berlioz, Luis Melliès, Paul-André |
| contents | Building on the collaborative Equational Theories project initiated by Terence Tao fifteen months ago, and combining it with ideas coming from machine learning and finite model theory, we construct a latent space of equational theories where each equational theory is located at a specific location, determined by its statistical behavior with respect to a large sample of finite magmas. This experiment enables us to observe for the first time how reasoning flows and produces surprisingly oriented and well-structured chains of logical implications in the latent space of equational theories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_20759 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The Latent Space of Equational Theories Berlioz, Luis Melliès, Paul-André Logic in Computer Science F.4.1 Building on the collaborative Equational Theories project initiated by Terence Tao fifteen months ago, and combining it with ideas coming from machine learning and finite model theory, we construct a latent space of equational theories where each equational theory is located at a specific location, determined by its statistical behavior with respect to a large sample of finite magmas. This experiment enables us to observe for the first time how reasoning flows and produces surprisingly oriented and well-structured chains of logical implications in the latent space of equational theories. |
| title | The Latent Space of Equational Theories |
| topic | Logic in Computer Science F.4.1 |
| url | https://arxiv.org/abs/2601.20759 |