Galois Alum Launches Oath Technologies To Advance AI Oversight With Formal Methods · Digg

/AI

Galois Alum Launches Oath Technologies To Advance AI Oversight With Formal Methods

Combined views

4.4K

2 posts, first seen 15h ago

128 likes comments

Galois Alum Launches Oath Technologies To Advance AI Oversight With Formal Methods

Reactions

2 posts

MD
Mike Dodds@miike 15 hrs ago
Some personal news: I’ve left @galois to start Oath Technologies / @oath_tech, a new FRO that will work on AI oversight via formal methods
- likes: 128
- replies: 12
- bookmarks: 15
- reposts: 12
MD
Mike Dodds@miike 15 hrs ago
Some personal news: I’ve left @galois to start Oath Technologies / @oath_tech, a new FRO that will work on AI oversight via formal methods
- likes: 128
- replies: 12
- bookmarks: 15
- reposts: 12

Combined views

4.4K

2 posts, first seen 15h ago

128 likes

12

15 saves

16 reposts

12 comments

15 saves

16 reposts

Reactions

2 posts

MD
Mike Dodds@miike 15 hrs ago
Some personal news: I’ve left @galois to start Oath Technologies / @oath_tech, a new FRO that will work on AI oversight via formal methods
- likes: 128
- replies: 12
- bookmarks: 15
- reposts: 12
MD
Mike Dodds@miike 15 hrs ago
Some personal news: I’ve left @galois to start Oath Technologies / @oath_tech, a new FRO that will work on AI oversight via formal methods
- likes: 128
- replies: 12
- bookmarks: 15
- reposts: 12