Hacker News new | ask | show | jobs
Verifying LLM-Generated Code (lfdepombo.com)
1 points by pombo 835 days ago