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

Get the Snipd
podcast app

Unlock the knowledge in podcasts with the podcast player of the future.
App store bannerPlay store banner

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode

Save any
moment

Hear something you like? Tap your headphones to save it with AI-generated key takeaways

Share
& Export

Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode