Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
yuhuai
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
yuhuai
4y ago
That's one of the future direction we're pursuing! We hope to utilize the power of autoformalization ( http://arxiv.org/abs/2205.12615 ) and provably verify the solution with formal systems. As I wrote in my tw