Hacker News 👾
Назад к новостям
1
matt_d•20.03.26 18:02

AlgoVeri: An Aligned Benchmark for Verified Code Gen. On Classical Algorithms

Источник
Комментарии
0