How to Aggregate and Fold Claims

I want to talk before we sign off on some other works just floating around. Like Nova, the paper came out almost a year ago, I think. And for me, at least it's really just popping up more recently in what people are talking about in our channels and stuff like that. But you mentioned when Justin was at least trying to know of tell you that there was another paper, an earlier paper that you thought this was like kind of directly taking from. Right? So let me, yeah, say a few words about what, what I think are the basic ideas here, right? We say we want to aggregate or fold claims instead of hat and then only like do one proof

Transcript

Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app