# @davidad — 2023-12-13

♥1 ↻0 · https://x.com/davidad/status/1734970659053109511

@bshlgrs @FabienDRoger @SachanKshitij this is great work. as models from @AnimaAnandkumar, @AiEleuther, @SafeWithAtlas, and others become more capable at automated synthesis of formally verified code, I would love to see this methodology used to compare formal verification empirically against these other protocols.

tags: author:davidad, kind:tweet, on:eleutherai, year:2023
cited on: _dossiers/eleutherai.md, eleutherai