· ai
[Paper] AI가 있더라도 Bijection 발견은 여전히 어렵다: 새로운 Bijection 구축을 위한 OpenEvolve의 기회와 과제
AlphaEvolve, OpenEvolve, ShinkaEvolve와 같은 진화적 프로그램 합성 시스템은 AI 지원 수학 발견에 새로운 접근 방식을 제공합니다. 이러한 시스템...
-
- · ai
[Paper] Beluga: 확장 가능하고 효율적인 LLM KVCache 관리를 위한 CXL 기반 메모리 아키텍처
LLM 모델 크기의 급격한 증가와 장기 컨텍스트 추론에 대한 수요가 늘어나면서 메모리는 GPU 가속 서빙 시스템에서 중요한 병목 현상이 되었습니다.
- · ai
[Paper] CodeFuse-CommitEval: 커밋 메시지와 코드 변경 불일치 탐지에서 LLM의 성능 벤치마킹을 향하여
Version control은 코드 변경의 이유를 전달하기 위해 commit messages에 의존하지만, 이러한 메시지는 종종 품질이 낮고, 더 중요한 것은 일관성이 부족합니다 …
- · ai
[Paper] LLM이 프로그램 의미론을 복원할 수 있을까? 심볼릭 실행을 통한 체계적인 평가
Obfuscation은 프로그램 이해, 유지보수, 테스트 및 취약점 탐지와 같은 소프트웨어 엔지니어링 작업에 지속적인 도전을 제기한다. 하지만 ...