Software Evolver · 특허 출원 중 기술
자동으로 찾아낸 컴팩트한 프로그램.
특허 출원 중인 Software Evolver 를 라이선스합니다. 테스트 케이스와 점수로 목표를 정의하면, Software Evolver 는 초당 최대 26.8 십억 회의 평가 속도로 수백만 개의 후보 프로그램을 탐색하고 SFA Non-Von-Neumann Architecture 를 위한 컴팩트하고 정확한 프로그램을 반환합니다.
목표를 설명하세요. 프로그램을 받으세요.
목표를 테스트 케이스와 점수로 정의하세요. Software Evolver 는 이를 충족하는 작은 실행 가능 프로그램을 탐색하고, 찾아낸 가장 좋은 프로그램들을 반환합니다.
초당 최대 26.8 십억 회 평가
한 대의 AMD EPYC 9455 프로세서에서 문서화된 벤치마크 목표로 측정했습니다. 평가 한 번은 후보 프로그램 하나를 테스트 케이스 하나에서 실행하는 것이며, 이 수치는 초당 세대 수, 세대당 후보 수, 목표당 테스트 케이스 수를 곱한 값입니다. Software Evolver 는 NVIDIA GPU 에서도 실행됩니다.
재현 가능하고 검증됨
모든 실행은 재현 가능하며, 반환되는 모든 프로그램은 해당 목표에 대해 정확하게 검사됩니다.
불투명한 가중치가 아닌 프로그램
결과는 다른 코드와 마찬가지로 읽고, 단순화하고, 테스트하고, 배포할 수 있는 컴팩트한 프로그램입니다.
정확한 수학까지
같은 탐색은 정확한 수학적 결과와 컴팩트한 법칙도 찾아냅니다. 측정 데이터 속 수식, 항등식, 생성 함수, 불 함수, 그리고 기하학적 및 조합적 구성까지, 후보를 정확하게 검사할 수 있는 곳이라면 어디서든 가능합니다. 당사는 Zenodo 에 발표한 수학 논문의 바탕이 된 연구에서 Software Evolver 를 사용했습니다.
요청 시 라이선스 제공
Software Evolver 는 특허 출원 중이며, SFA Non-Von-Neumann Architecture 용 제품으로서 요청 시 라이선스가 가능합니다. 기술 자료와 출원 정보는 NDA 에 따라 제공됩니다.
Software Evolver 라이선스 상담
처리량 수치는 한 대의 AMD EPYC 9455 프로세서에서 정의된 목표에 대해 얻은 문서화된 벤치마크 결과이며, 처리량은 프로그램 크기와 테스트 케이스에 따라 달라집니다. 기술 세부 정보와 출원 정보는 NDA 에 따라 제공됩니다.