Comment Comment by MITSardine LLMs can write theorems, but can they come up with meaningful definitions? parent MITSardine 8 months ago
