4 ms·
Victor Taelin is doing some semi-related stuff with Claude and their home built proof language Kind2: https://x.com/VictorTaelin/status/1811167900780175423 htt
by worldsayshi 2y ago
Victor Taelin is doing some semi-related stuff with Claude and their home built proof language Kind2:
https://x.com/VictorTaelin/status/1811167900780175423 https://x.com/VictorTaelin/status/1811167900780175423
Can recommend taking a look at their recorded Twitch stream to see it in action.
- butokai 2y agoThat's really cool. Having spent most of my time in (european) academia, I wonder how this kind of research can be carried out outside of academic institutions.