News for hackers. Stuff that matters.

A comment on Formal Reasoning [pdf]. Parent comment

Re:Formal Reasoning [pdf] by wisnesky on Sunday October 26, 2025 @03:41PM (#45714627)
That's the approach we're taking to verify LLM-generated SQL code at http://sql.ai.
[ Parent | on HN ]

There are no comments on this comment yet.