arXiv

3일 전 · ai

[Paper] AutoNeural: NPU 추론을 위한 Vision‑Language Models 공동 설계

Neural Processing Units (NPUs)가 엣지 AI에 대해 높은 이론적 효율성을 제공하는 반면, GPU에 맞게 설계된 최첨단 Vision--Language Models (VLMs)는 종종 falt...

3일 전 · software

[Paper] Belobog: Move 언어 퍼징 프레임워크 실세계 스마트 계약용

Move는 보안 및 검증 가능한 스마트 계약 개발을 위한 연구 중심 프로그래밍 언어 설계이며, 수십억의 di... 관리에 널리 사용되어 왔습니다.

3일 전 · ai

[Paper] Martingale Score: LLM 추론에서 베이지안 합리성을 위한 비지도 메트릭

최근 추론 기술의 발전은 대형 언어 모델(LLMs)의 성능을 크게 향상시켰으며, 이들의 능력에 대한 기대를 높이고 있습니다.

3일 전 · ai

[Paper] 다중 관측을 이용한 모델 기반 진단: C 소프트웨어와 불리언 회로를 위한 통합 접근법

디버깅은 소프트웨어 개발 및 회로 설계에서 가장 시간과 비용이 많이 드는 작업 중 하나입니다. 여러 공식 기반 결함 위치 지정(FBFL) 방법…

3일 전 · ai

[Paper] Progress-Aware Confidence Schedules를 통한 Fast-Decoding Diffusion Language Models

Diffusion large language models (dLLMs)은 autoregressive 모델에 대한 유망한 대안을 제공하지만, 그 실용성은 느린 반복적인 과정 때문에 크게 제한됩니다.

3일 전 · ai

[Paper] OptPO: 테스트 시 정책 최적화를 위한 최적 롤아웃 할당

Test-time policy optimization은 대규모 언어 모델(LLMs)이 자체 생성 롤아웃으로부터의 피드백을 활용하여 분포 변화에 적응하도록 합니다. 그러나,…

3일 전 · ai

[Paper] 병렬적으로 생각하고, 하나로 답하라: Open-Ended Reasoning을 위한 Logit Averaging

Majority voting은 parallel reasoning traces를 집계함으로써 close-ended question answering에 효과적인 것으로 입증되었습니다. 그러나 이는 open...

3일 전 · ai

[Paper] Bangla 혐오 발언 분류 with Fine-tuned Transformer Models

저자원 언어에서의 Hate speech recognition은 데이터셋 부족, orthographic heterogeneity, linguistic variety 등으로 인해 여전히 어려운 문제입니다. ...

3일 전 · devops

[Paper] OLCF에서 FAIR 워크플로우 설계: HPC 과학을 위한 확장 가능한 재사용 가능한 생태계 구축

고성능 컴퓨팅(HPC) 센터는 극한 규모의 과학 연구를 가능하게 하는 첨단 인프라를 제공합니다. 이러한 센터는 하드웨어 ...

3일 전 · software

[Paper] Observation Lakehouses를 향하여: 소프트웨어 행동의 살아있는 인터랙티브 아카이브

코드 생성 LLM은 주로 정적 아티팩트(소스, 주석, 사양) 위에서 훈련되며 런타임 동작의 구체화에 대해서는 거의 학습되지 않는다. 그 결과...

3일 전 · ai

[Paper] Sonic Measurement Spaces에서 품질과 다양성의 정의 탐구

디지털 사운드 신시스는 수백만 개의 구성을 포함하는 방대한 파라미터 공간을 탐색할 기회를 제공합니다. 품질 다양성(QD) 진화 알고리즘…

3일 전 · software

[Paper] 'Can you feel the vibes?': 초보 프로그래머의 vibe coding 참여 탐구

생성 AI와 AI‑assisted coding이라는 더 넓은 흐름과 함께 등장한 ‘vibe coding’이라는 용어는 자연어 프롬프트를 통해 소프트웨어를 만드는 것을 의미합니다…