Publicaciones sobre CoqProver

13-07-2025Readings shared July 12, 2025
10-07-2025Readings shared July 9, 2025
06-07-2025Readings shared July 5, 2025
29-06-2025Readings shared June 28, 2025
24-06-2025Readings shared June 23, 2025
20-06-2025Readings shared June 19, 2025
17-06-2025Readings shared June 16, 2025
16-06-2025Readings shared June 15, 2025
14-06-2025Readings shared June 13, 2025
13-06-2025Reseña de «MATP-BENCH: Can MLLM be a good automated theorem prover for multimodal problems?»
13-06-2025Readings shared June 12, 2025
27-05-2025Readings shared May 27, 2025