News for hackers. Stuff that matters.

A comment on Cerebras-GPT vs. LLaMA AI Model Performance Comparison. Parent comment

Re:Cerebras-GPT vs. LLaMA AI Model Performance Comparison by sbierwagen on Wednesday March 29, 2023 @10:18PM (#35366974)
A couple people have used LLMs as frontends to theorem provers/SAT solvers, which would handle that fairly easily: https://twitter.com/AlbertQJiang/status/1584877475502301184 https://twitter.com/ericzelikman/status/1605385835624378368
[ Parent | on HN ]

There are no comments on this comment yet.