Hacker Next
AxiomGPT: Programming with LLMs by defining Oracles in natural language
2 points by Eager 4 days ago | 0 comments