arXiv

Test cases는 소프트웨어 개발 및 유지보수에 필수적입니다. 실제로, 개발자들은 암묵적인 패턴에 기반하여 여러 Test cases를 도출합니다.

Data는 현대 기업의 핵심 자원이며, Data validation은 다운스트림 애플리케이션의 신뢰성을 보장하는 데 필수적입니다. 그러나 기존의 ...

Large language models는 자연어를 통해 static analysis tools를 보다 쉽게 접근할 수 있도록 점점 더 많이 사용되고 있지만, 기존 시스템들은 얼마나 많이 이를 delegate하는지에 차이가 있습니다.

AI‑assisted 코딩의 역량은 눈부신 속도로 진행되고 있습니다. Chat‑based vibe 코딩은 완전한 AI‑assisted, agentic 소프트웨어 d...

이전 연구에서는 주로 간단한 조건문을 통해 코드 생성 편향을 평가했으며, 이는 실제 프로그래밍의 좁은 부분만을 나타냅니다.

맥락. 로봇 소프트웨어에서 가장 많이 사용되는 개발 프레임워크는 ROS2입니다. ROS2 아키텍처는 매우 복잡하며, 수천 개의 구성 요소가 통신합니다.

활성화 함수의 선택은 딥 뉴럴 네트워크의 최적화와 성능에 중요한 역할을 합니다. Rectified Linear Unit (ReLU)이 …

우리는 스트리밍 이벤트 로그에서 다음 활동을 예측하기 위해 경량 자동자 기반 모델(n-grams)과 신경망 아키텍처(LSTM, Transformer)를 비교한다. 실험…

Reservoir computing (RC)은 낮은 학습 비용과 적당한 하드웨어 요구 사항으로 인해 점점 더 많은 관심을 받고 있는 recurrent neural network 아키텍처입니다.

Machine Learning (ML) Engineering은 성장하고 있는 분야로, ML 개발의 엄격함을 높여야 합니다. 이는 software engineering에서 많은 아이디어를 차용합니다.

대규모 수 연산은 과학 계산 및 암호학에서 널리 사용되지만, 단일 명령 다중 데이터(SIMD) 병렬화의 도입은 제한적이었다…

블록체인 및 디지털 자산 생태계의 급속한 확장은 학술 연구를 배포 가능한 시스템 및 규제로 전환하는 과제를 더욱 심화시켰다.

우리는 latency‑critical 애플리케이션에서 동적 edge server 선택을 위해 경량이고 해석 가능한 decision framework를 제시하며, 이는 명시적으로 …

Local Optima Networks (LONs)는 검색 공간의 전역 구조를 그래프로 나타내지만, 그 구축에는 search algorithm을 반복적으로 실행해야 합니다.

이 논문은 Apache Hudi, Apache Iceberg 등을 포함한 가장 일반적인 세 가지 Data Lakehouse 시스템에서 데이터 로드 및 저장 효율성을 연구한 내용을 제시한다.

AI WiFi 오프로드는 자원 제한이 있는 무선 장치에 대형 언어 모델(LLM) 서비스를 제공하기 위한 유망한 접근법으로 떠오르고 있습니다. 그러나 …

Self-supervised learning (SSL)은 항공 이미지에서 표현 학습을 위한 표준 접근 방식입니다. 기존 방법들은 증강된 뷰 간의 불변성을 강제합니다.

Vision Graph Neural Networks (ViGs)는 이미지를 패치 토큰의 그래프로 표현하여 적응형이며 특징 기반 이웃을 가능하게 합니다. 고정 그리드를 사용하는 CNN과 달리 ...

수십 테라바이트에 달하는 데이터셋을 대상으로 대규모 딥러닝 모델을 학습하는 것은 하드웨어 활용도와 학습 재현성 측면에서 중요한 과제를 제시한다.

현재 블록체인 Layer 2 솔루션인 Optimism, Arbitrum, zkSync 및 그 파생 제품들은 인간이 주도하는 금융 거래를 최적화합니다. Autonomo...

복잡한 범죄 수사는 종종 방대한 양의 비구조화된 증거와 자연어 조사 인터페이스 간의 semantic gap 때문에 방해받는다.

Paralinguistic cues는 자연스러운 인간‑컴퓨터 상호작용에 필수적이지만, Large Audio‑Language Models (LALMs)에서의 평가는 거친 …에 의해 제한되고 있다.

최근 video generative models의 발전으로 다양한 시나리오와 객체 범주에 걸쳐 현실적인 인간‑객체 상호작용 비디오를 합성할 수 있게 되었습니다.

현대 언어 모델은 C++ 및 Python과 같은 일반적인 프로그래밍 언어(PL)에서 인상적인 코딩 능력을 보여주지만, 낮은‑

인공지능(AI) 시스템이 중요한 분야에 점점 더 많이 배치됨에 따라, 그 보안 취약점은 고위험 노출의 위험을 증가시키고 있다...

Federated learning (FL)은 원시 데이터를 공유하지 않고 협업 모델 학습을 가능하게 합니다; 그러나 분산된 클라이언트들 사이에 존재하는 noisy labels는 ...

생물의학 imaging에서 핵심 문제는 batch effects입니다: 관심 있는 생물학적 신호와 무관한 체계적인 기술적 변동입니다. 이러한 batch effects...

오프쇼어 풍력 에너지 부문은 빠르게 확장하고 있어, 인프라 구축 및 ...에 대한 독립적이고 고시간 해상도 모니터링의 필요성이 증가하고 있습니다.

긴 컨텍스트 대형 언어 모델의 확장성은 정확한 self-attention의 제곱 메모리 비용에 근본적으로 제한되며, 이는 종종 …

자연어 텍스트로 학습된 언어 모델은 T=2, 5, 10의 지배적인 주기를 갖는 주기적 특징을 사용하여 숫자를 표현하는 방법을 학습합니다. 이 논문에서는 두…

강화 학습(RL) 사후 훈련은 인간 선호와 생성 모델을 정렬하는 표준이 되었지만, 대부분의 방법은 단일 스칼라에 의존합니다.

LLM이 에이전트 시스템에 점점 더 통합됨에 따라, 동적으로 정의된 기계가 해석할 수 있는 인터페이스를 준수해야 합니다. 우리는 LLM을 in-cont…

대형 비전-언어 모델(LVLMs)은 올림피아드 수준의 추론 작업에서 상당한 진전을 이루었습니다. 그럼에도 불구하고 현재 올림피아드 수준의 멀티모달...

인공지능(AI)의 가치 정렬 문제는 종종 순수하게 기술적이거나 규범적인 과제로 제시되며, 때로는 가상의 미래에 초점을 맞추기도 합니다.

소프트웨어 공학 입문(Software Engineering, SE) 과목은 학생 등록 인원이 급격히 증가하고, 다양한 배경을 가진 참여자들이 늘어나며, Ge…의 영향을 받고 있다.

RGB 이미지에서 3D Human-Object Interaction을 재구성하는 것은 인지 시스템에 필수적입니다. 그러나 이는 하위…

국소 게이지 대칭은 기본 상호작용과 강하게 상관된 양자 물질의 근본을 이루지만, 기존의 머신러닝 접근법은 일반적인, 원칙적인…

우리는 LLaDA2.0-Uni를 소개한다. 이는 통합된 이산 확산 대형 언어 모델(dLLM)로, 원시적으로 통합된 멀티모달 이해와 생성을 지원한다. LLaDA2.0-Uni는 텍스트, 이미지, 오디오, 비디오 등 다양한 모달리티를 동시에 처리할 수 있는 단일 모델 아키텍처를 제공한다. 이 모델은 이산 확산 과정과 대규모 언어 모델링을 결합하여, 복잡한 멀티모달 입력에 대한 깊이 있는 이해와 고품질의 생성 출력을 동시에 달성한다. 또한, LLaDA2.0-Uni는 기존의 멀티모달 파이프라인에서 발생하는 모달 간 불일치 문제를 최소화하고, 다양한 작업에서 일관된 성능 향상을 보여준다. 실험 결과, 이 모델은 텍스트-이미지 매칭, 비디오 캡션 생성, 오디오-텍스트 변환 등 여러 벤치마크에서 최첨단 성능을 기록했으며, 멀티모달 AI 시스템 구축에 있어 새로운 표준을 제시한다.

이 논문은 대형 언어 모델(LLMs)이 외부 온톨로지 메모리 레이어와 결합된 하이브리드 아키텍처를 지능형 시스템에 제시한다. ...

대형 언어 모델(LLMs)은 의료 분야에 점점 더 많이 도입되고 있지만, 임상 표준과의 의사소통 정렬은 아직 충분히 정량화되지 않고 있습니다.

우리는 인간과 유사한 작업 기억 제약을 Transformer 아키텍처에 통합하는 방안을 조사하고, 여러 인지적으로 영감을 받은 attention v...

희소한 다중 뷰 비디오에서 동적 3D 장면을 재구성하는 것은 매우 ill-posed하며, 종종 geometric collapse, trajectory drift, 그리고 floating artifact를 초래한다.

Radar로 촬영된 내부 ice layers는 snow accumulation와 ice dynamics에 대한 핵심 증거를 제공하지만, radar-derived layer boundary 관측은 종종 불완전합니다.

AI 코딩 에이전트가 대규모로 채택되고 있지만, 사람들이 실제로 어떻게 사용하는지와 그들의 출력이 실무에서 얼마나 유용한지에 대한 실증적 증거가 부족합니다. ...

Space-time self-similarity (STSS)는 프레임 간 시각적 대응을 포착하여 비디오의 시간적 동역학을 효과적으로 표현하는 방법을 제공합니다.

시각 분석(Visual Analytics, VA) 시스템의 개발은 전통적으로 설계 방법론과 복잡한 소프트웨어 엔지니어링을 균형 있게 조율하는 노동 집약적인 과정이었습니다…

배경: Receiver Operating Characteristic (ROC) 곡선은 Software Defect Prediction (SDP) 모델이 결함을 추정하는 성능을 평가하는 데 널리 사용됩니다.

우리는 bilingual Latin and English settings에서 question answering 및 translation을 위한 benchmark dataset을 소개합니다. 약 7,800개의 question‑answer pairs를 포함합니다. T...