이만드라, 수학적 검증으로 코드 오류 잡는 '코드로지션' 출시
이만드라는 신경기호 AI 기반 코딩 어시스턴트 '코드로지션'을 공개했다. 생성된 코드를 수학적 모델로 변환해 정확성을 증명하고 환각 오류를 차단한다. 초기 버전은 파이썬을 지원하며 현재 조기 테스트 대기자 명단을 접수 중이다.
이만드라는 신경기호 AI 기반 코딩 어시스턴트 '코드로지션'을 공개했다. 생성된 코드를 수학적 모델로 변환해 정확성을 증명하고 환각 오류를 차단한다. 초기 버전은 파이썬을 지원하며 현재 조기 테스트 대기자 명단을 접수 중이다.