Carina Hong
speaker
82 appearances
1 recordings
1 series
first heard Sep 2026
last heard 4 Sep
Carina Hong’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsRecordings per month over the last 12 months — 1 in all, peaking in Sep 2026 with 1.
Appearances
I think we're like seeing these incredible number of open problems that suddenly become attainable because of the technology advancing.
Yeah, that's a great question.
Um I think the ward is going
Um
Oh wow, those the word the word is going to, I think, run on a different kind of flywheel of generation and verification.
So we don't really think of formal verification as kind of like guarding or like capping the downside.
We think of it in terms of performance and we think of it as optimization.
So by having the cost approved reduced to zero, you can generate new algorithms.
You can make new scientific discoveries.
Um, it's going to have important implications in the world of coding, in the world of AI for science, um and other like physical engineering disciplines that we couldn't think of in the past.
are there are a lot of different viewpoints on this.
So um I've met researchers who think that um all the word software should be rewritten.
There are other people who believe, well, we should formally verify everything.
Yeah.
Um the truth is I think somewhere in the middle, um people traditionally think of formal verification as something that you get zero credit for if you don't formally prove everything.
We think partial verification has a lot of value.
By decomposing or refacturing each word has its own like loaded meaning.
A very difficult problem into subproblems, a very difficult coding challenge, coding task into different modules.
Um you can get assurance in certain parts and try to um just lock in and optimize because you now have that formal guarantee.
So it's again this idea of verification for better performance.
Showing 21–40 of 82 · page 2 of 5
← Previous
Next →