from Hacker News

Eager

joined 1/15/17, 1:59 PM has 63 karma

• AxiomGPT: Programming with LLMs by defining Oracles in natural language

  by Eager on 4/1/25, 3:30 AM, with 0 comments