· ai
[Paper] 다중 관측을 이용한 모델 기반 진단: C 소프트웨어와 불리언 회로를 위한 통합 접근법
디버깅은 소프트웨어 개발 및 회로 설계에서 가장 시간과 비용이 많이 드는 작업 중 하나입니다. 여러 공식 기반 결함 위치 지정(FBFL) 방법…
-
- · ai
[Paper] Progress-Aware Confidence Schedules를 통한 Fast-Decoding Diffusion Language Models
Diffusion large language models (dLLMs)은 autoregressive 모델에 대한 유망한 대안을 제공하지만, 그 실용성은 느린 반복적인 과정 때문에 크게 제한됩니다.
- · ai
[Paper] OptPO: 테스트 시 정책 최적화를 위한 최적 롤아웃 할당
Test-time policy optimization은 대규모 언어 모델(LLMs)이 자체 생성 롤아웃으로부터의 피드백을 활용하여 분포 변화에 적응하도록 합니다. 그러나,…
- · ai
[Paper] 병렬적으로 생각하고, 하나로 답하라: Open-Ended Reasoning을 위한 Logit Averaging
Majority voting은 parallel reasoning traces를 집계함으로써 close-ended question answering에 효과적인 것으로 입증되었습니다. 그러나 이는 open...
- · ai
[Paper] Bangla 혐오 발언 분류 with Fine-tuned Transformer Models
저자원 언어에서의 Hate speech recognition은 데이터셋 부족, orthographic heterogeneity, linguistic variety 등으로 인해 여전히 어려운 문제입니다. ...
- · devops
[Paper] OLCF에서 FAIR 워크플로우 설계: HPC 과학을 위한 확장 가능한 재사용 가능한 생태계 구축
고성능 컴퓨팅(HPC) 센터는 극한 규모의 과학 연구를 가능하게 하는 첨단 인프라를 제공합니다. 이러한 센터는 하드웨어 ...
- · software
[Paper] Observation Lakehouses를 향하여: 소프트웨어 행동의 살아있는 인터랙티브 아카이브
코드 생성 LLM은 주로 정적 아티팩트(소스, 주석, 사양) 위에서 훈련되며 런타임 동작의 구체화에 대해서는 거의 학습되지 않는다. 그 결과...
- · ai
[Paper] Sonic Measurement Spaces에서 품질과 다양성의 정의 탐구
디지털 사운드 신시스는 수백만 개의 구성을 포함하는 방대한 파라미터 공간을 탐색할 기회를 제공합니다. 품질 다양성(QD) 진화 알고리즘…
- · software
[Paper] 'Can you feel the vibes?': 초보 프로그래머의 vibe coding 참여 탐구
생성 AI와 AI‑assisted coding이라는 더 넓은 흐름과 함께 등장한 ‘vibe coding’이라는 용어는 자연어 프롬프트를 통해 소프트웨어를 만드는 것을 의미합니다…
- · software
[Paper] 데이터 과학 프로젝트의 위험 관리 방법론에 대한 통합 분석
Data science 이니셔티브는 기술적 제약, 조직적 제한 및 불충분한 위험 관리 관행으로 인해 높은 실패율을 보이는 경우가 많습니다.
- · ai
[Paper] SME가 코드 베이스를 마이그레이션하기 전 Software Product Line Engineering에 대한 인식의 실증적 평가
소프트웨어 변형 집합을 소프트웨어 제품 라인(SPL)으로 마이그레이션하는 것은 비용이 많이 들고 잠재적으로 도전적인 작업입니다. 실제로, SPL 엔지니어링은 …
- · devops
[Paper] 분산 및 자율 최소 신장 트리
분산 시스템에서 프로세스가 메시지를 브로드캐스트하도록 하는 가장 일반적인 전략은 one-to-all communication이다. 그러나 이 접근 방식은 확장성이 부족하다.