undefined | Better HN

0 pointsnextos10d ago0 comments

Is SAT/SMT and theorem provers solving yesterday's problems 1.12% better?

Lots of the successes by LLMs that have been much celebrated rely on these.

0 comments

:waves:

j / k navigate · click thread line to collapse

0 pointsnextos10d ago0 comments

Is SAT/SMT and theorem provers solving yesterday's problems 1.12% better?

Lots of the successes by LLMs that have been much celebrated rely on these.

:waves:

j / k navigate · click thread line to collapse