HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Eager
63 karma · joined January 15, 2017
submissions
comments
AxiomGPT: Programming with LLMs by defining Oracles in natural language
2 pts
·
Eager
·
0