Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
saidcooldude
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
saidcooldude
9mo ago
i thought this work was fun for white box theorem proving. it is interesting to pass the structure to an llm to better understand the problem solving strategy. using the tree shape as context for other questions was also interesting