FYIs

[Evan Miyazono]

Hey GSAI community, 

I'd be surprised if all of this is new, but I'd also be surprised if none is:

Interesting benchmark for those who care about FM: CLEVER for end-to-end verified code generation in Lean: https://arxiv.org/abs/2505.13938

Also, some fellowship programs:

• Speculative Technologies is organizing a cohort to train potential ARPA PMs on AI-risk topics: https://spec.tech/ai-brains (part time, remote friendly, 3 months, apply by June 16)
  
• also, related to this, I found out there are some additional resources if you know someone who might be interested in being a DARPA PM.  (Please send me candidates!)
• Future of Life Foundation is organizing a fellowship to incubate new potential projects/orgs: https://www.flf.org/fellowship (full time, silicon valley, 12 weeks; apply by June 9)
  
• Constellation is running an incubator for new orgs https://constellation.org/programs/constellation-incubator (full time?, east bay, 4 months, rolling admission)

Best,

   - Evan