Bend – CPU와 GPU에서 증명으로 AI의 실수를 차단하는 언어

← 피드로

Bend는 지켜야 할 규칙을 코드로 선언하고 AI가 구현의 정확성을 증명하도록 하는 언어로, 자연어보다 정밀한 요구사항과 빠른 실행을 결합함 네이티브 코드로 컴파일하며, 단일 코어에서 C에 가까운 속도로 실행되고 같은 바이너리를 여러 CPU 코어나 GPU에서도 실…

원문 보기 ↗