using an image included in google deepmind's blog

Stream: general

[Bulhwi Cha]

I'd like to use an image included in Google DeepMind's blog post about AlphaProof and AlphaGeometry, but I'm not sure whom I should ask permission to do so. I need it to make a poster about applications of proof assistants for the Open-Source Festival, which will be held on December 6 at COEX, Seoul.

[Tyler Josephson ⚛️]

I used the exact same image in an oral presentation, and cited their work as AlphaProof. Interesting question nonetheless - they aren’t clear on who the authors would be, since it’s just a blog post.

[Bulhwi Cha]

This the only image I can create at the moment: 20241114_12h06m37s_paperproof.png.