Work

Autoformalizing the calculation of $π_3(S^2)$

Year: 2026

Type: preprint

Abstract: We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of $π_3(S^2)$ in agda-unimath using Codex.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2608.23721

Authors: Carranza, Daniel, Liu, Chunyi, Riehl, Emily, Rijke, Egbert

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7204237388

Cites:

Cited by:

Related to: 10