guaranteed-safe-ai

https://www.forethought.org/research/ai-tools-for-existential-security Just needs a little nudging

This is awesome, thanks for sharing! On Sat Feb 8, 2025, 07:29 AM GMT, no...@pibbss.ai wrote: https://

Our new general purpose programming in Lean benchmark, FVAPPS, is live on huggingface and arxiv. We

Possibly of interest https://sam.gov/opp/4def3c13ca3947069b1779e7ff697c6a/view > The goal of

Potentially interesting seminar next week, following up on our discussion about this paper last

Just personally contributed the first $500 - good luck with the rest! On Mon, Jan 27, 2025 at 6:54 AM

I'm very interested. Thanks Quinn. - Kris On Fri, Jan 24, 2025 at 5:54 PM Jacques Thibodeau <

https://gsai.substack.com/p/november-december-2024-progress-in Sorry for the radio silence last month

This looks interesting but it looks like applications are closed. I would be curious about any future

Recording available: https://youtu.be/anbsnwnMpf8?si=Kz73MzCzZAy9tJzF On Thursday, 12 December 2024

Hello everyone, Happy New Year! We're excited to invite you all to our 2025 seminar series, which

Dear Guaranteed Safe AI enjoyers, Thanks for having participated or being interested in the seminar

You are invited to the December 2024 edition of the Guaranteed Safe AI Seminars: Compact Proofs of

Hey all, AIxFV meeting coming up December 5th and 6th in Berkeley. Room for more, just email me for

Recording now available: https://www.youtube.com/watch?v=SIAZKT-VJIU On Friday, October 11th, 2024 at

https://gsai.substack.com/i/150866523/a-quantitative-probabilistic-relational-hoare-logic: ... If you

Hey all, if you have takes on ZKML please book me https://calendly.com/quinn-dougherty - i'm

Byrne Hobart's newsletter has a guest post from a startup called Antithesis creating a simulation

thanks for all the insight and resources! I'll keep this in mind for future months (the people

> > However, Rust does provide various escape hatches (unsafe) and doesn't prove logical

Very interesting, thanks Gunnar. I've been through the o1 overview, Learning to Reason with LLMs,

Dear all, I've completed the draft of the paper on training neural networks with safety bounds -

dear steve, very laudable! my main issue has always been that it seems impossible to prove anything

subscribe now, cuz next month I won't cc to this group https://gsai.substack.com/i/148170804/a-

https://calendar.app.google/f7vR3f76z8g5UdPq5 <- add to your calendar Compositional Verification

Automating Thought of Search: A Journey Towards Soundness and Completeness https://arxiv.org/abs/

Nice paper by Dan Boneh and colleagues on creating zero-knowledge proofs from Lean theorems. There

If you're in the bay area next week, you can crash Clark's events too 😂 https://www.

Andrew Dickson recently posted this critique of the "Provably Safe AI" and "Guaranteed

I'm glad to see lecopivo started a docs book for the project! On Wed, Aug 21, 2024, 4:12 PM Quinn