logoalt Hacker News

9029 • today at 12:45 AM • 0 replies • view on HN

Is it possible to reason or prove the correctness of an LLM?