Comment Comment by uv-depression LLMs causing problems? The solution, apparently: more LLMs!How would you know that the new paper contained the same content as the original (let alone the actual Lean code)? parent uv-depression 24 days ago
How would you know that the new paper contained the same content as the original (let alone the actual Lean code)?