Ankur Moitra

Mentioned in 1 episode

"When I'm looking through the OpenAI solutions, they just don't look like a human has solved those problems. So to me, there still seems to be a very big qualitative difference."

Mentioned in 1 episode

"This was a landmark result proved in the nineties. It actually was such a big deal that it made the front page of The New York Times."

Mentioned in 1 episode

"It's not just a very safe environment like outputting a Lean proof of a theorem we care about, but it's about a messier problem that actually interacts with people."

Mentioned in 1 episode

"I'm reminded of the opening line for Anna Karenina. You know, every happy family is happy in the same way, and every unhappy family is unhappy in their own way."

Mentioned in 1 episode

"The way that we think about publications is you work hard on your draft, you post it on arXiv, and that's your draft. You might update and create a new version at some point or a third version, but the draft belongs to you."

Mentioned in 1 episode

"I had a former colleague at MIT, Alex Madry, that had some really nice work, which I really enjoyed. I think the title was something like 'Adversarial Examples Are Features, Not Bugs.' So they did the following cool experiment."

Mentioned in 1 episode

"The way that I like describing this is like a Ouija board. So these are things that were popular when I was a kid. We had very strange board games, you know, because we would just sit down and wanna talk to ghosts."

Mentioned in 1 episode

"For things like SAT, one of the places where they come up is in compilers and register allocation, and SAT solvers are amazingly effective at solving those kinds of SAT problems."