Publicaciones sobre Autoformalization

Canal RSS (Autoformalization, es)

12-10-2026Lecturas de la semana: 5 – 11 de octubre de 2026
03-08-2026Readings shared August 3, 2026
05-06-2026Readings shared June 5, 2026
25-04-2026Readings shared April 24, 2026
15-04-2026Readings shared April 14, 2026
05-04-2026Readings shared April 4, 2026
25-03-2026Readings shared March 24, 2026
15-01-2026Readings shared January 14, 2026
06-12-2025Readings shared December 5, 2025
05-12-2025Reseña de «Formalization of Erdős problems»
19-11-2025Readings shared November 18, 2025
17-11-2025Readings shared November 16, 2025
01-11-2025Readings shared October 31, 2025
26-10-2025Readings shared October 25, 2025
21-10-2025Readings shared October 20, 2025
18-10-2025Readings shared October 17, 2025
02-10-2025Readings shared October 01, 2025
18-09-2025Readings shared September 17, 2025
13-09-2025Readings shared September 12, 2025
28-06-2025Readings shared June 27, 2025
14-06-2025Readings shared June 13, 2025
08-05-2025Readings shared May 8, 2025
14-02-2025Readings shared February 14, 2025
13-02-2025Readings shared February 13, 2025
10-02-2025Readings shared February 10, 2025
23-12-2024Readings shared December 23, 2024
02-11-2024Readings shared November 2, 2024
01-11-2024Readings shared November 1, 2024
18-10-2024Readings shared October 18, 2024
17-09-2024Readings shared September 17, 2024
16-06-2024Lecturas compartidas el 15 de junio de 2024
09-06-2024Lecturas compartidas el 8 de junio de 2024