News for hackers. Stuff that matters.
Re:Show HN: ArXiv-txt, LLM-friendly ArXiv papers by westurner on Thursday February 20, 2025 @09:41AM (#43115227)
If you train an LLM on only formally verified code, it should not be expected to generate formally verified code.

Similarly, if you train an LLM on only published ScholarlyArticles ['s abstracts], it should not be expected to generate publishable or true text.

Traceability for Retraction would be necessary to prevent lossy feedback.

There are no comments on this comment yet.