Publicaciones sobre CoqProver

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