Posts de julio de 2025

31-07-2025Readings shared July 30, 2025
30-07-2025Readings shared July 29, 2025
29-07-2025Readings shared July 28, 2025
28-07-2025Readings shared July 27, 2025
27-07-2025Reseña de «Solving formal math problems by decomposition and iterative reflection»
27-07-2025Readings shared July 26, 2025
26-07-2025Readings shared July 25, 2025
25-07-2025Readings shared July 24, 2025
24-07-2025Readings shared July 23, 2025
23-07-2025Readings shared July 22, 2025
22-07-2025Readings shared July 21, 2025
19-07-2025Readings shared July 18, 2025
19-07-2025Readings shared July 18, 2025
18-07-2025Readings shared July 17, 2025
17-07-2025Readings shared July 16, 2025
16-07-2025Readings shared July 15, 2025
15-07-2025Readings shared July 14, 2025
14-07-2025Readings shared July 13, 2025
13-07-2025Readings shared July 12, 2025
12-07-2025Readings shared July 11, 2025
11-07-2025Readings shared July 10, 2025
10-07-2025Readings shared July 9, 2025
08-07-2025Readings shared July 7, 2025
06-07-2025Readings shared July 5, 2025
05-07-2025Readings shared July 4, 2025
04-07-2025Reseña de «LeanConjecturer: Automatic generation of mathematical conjectures for theorem proving»
04-07-2025Readings shared July 3, 2025
02-07-2025Readings shared July 1, 2025
01-07-2025Reseña de «Diophantine equations over Z: Universal bounds and parallel formalization»
01-07-2025Readings shared June 30, 2025