생성 AI 가속 TLA+ 챌린지: 형식적 검증의 미래를 향한 경쟁
2025-05-06
TLA+ 재단과 NVIDIA는 생성 AI를 사용하여 TLA+ 사양 언어를 개선하는 것을 장려하는 챌린지를 시작했습니다. 참가자는 코드 리팩토링, 개발 도구 생성, 시각화 생성, 심지어 사양 합성에 AI를 사용할 수 있습니다. 심사위원은 기능성, TLA+ 생태계와의 관련성, AI의 혁신적인 사용 방식을 기반으로 제출물을 평가합니다. 모든 제출물은 오픈 소스여야 하며, 재현 가능해야 하며, 프로토타입으로 충분합니다. 이 챌린지는 TLA+ 내에서 생성 AI의 잠재력을 탐구하고 커뮤니티를 활성화하는 것을 목표로 합니다.
더 보기
개발