RSS

skaisg

Karma: 27

I study Logic and have worked on Machine Learning for a bit. Interested in transitioning to AI Safety. Reach out to me about Formal Verification of AI.

https://​​skaisg.eu/​​

What I learned at the AI Safety Europe Retreat

skaisgApr 17, 2023, 5:40 PM
28 points
0 comments10 min readLW link
(skaisg.eu)