AxiomGPT: Programming with LLMs by defining Oracles in natural language

2 points | by Eager 2 days ago ago