arXiv

전통적인 unit tests는 단일 input-output 쌍을 검증하고, 실행 경로의 대부분 입력은 테스트되지 않은 채로 남깁니다. Property-based testing은 이 단점을 해결합니다.

기업들은 애자일 방법론과 DevOps를 채택하여 소프트웨어 집약적인 제품의 효율적인 개발 및 배포를 촉진합니다. 이는 차례로 chal...

일부 병렬 계산 모델에서는 작업을 더 작은 태스크로 나누어 완전히 비동기적으로 실행할 수 있습니다. 다른 상황에서는 병렬 태스크가 …

전통적인 워크플로우에서 복잡한 수동 파일 편집 및 커맨드라인 작업에 대한 높은 러닝 커브와 의존성을 해결하기 위해, 주류 오픈소스…

Edge computing은 컴퓨팅 자원을 분산시켜, 의료 및 농업 분야의 Internet of Things (IoT)와 같은 영역에서 새로운 애플리케이션을 가능하게 합니다...

Penetration testing은 실제 위협에 대비해 system security를 평가하고 강화하는 데 필수적이지만, traditional workflows는 여전히 매우 수동적이며, …

우리는 Any-to-Any 모델이라고 불리는 새로운 멀티모달 모델 클래스에 대한 효율적인 온라인 서빙 시스템인 Cornserve를 소개합니다. Any-to-Any 모델은 조합을 받아들입니다.

JavaScript의 광범위한 채택은 정교한 obfuscation 기법을 사용해 악성 코드를 은폐하는 악의적인 공격자들에게 매력적인 표적이 되었습니다.

Large language models (LLMs)은 자동 코드 생성에서 눈부신 진전을 이루었지만, 고성능 코드를 생성하는 능력은 여전히 제한적이다-...

AI 에이전트의 부상은 소프트웨어를 구축하는 방식을 변화시키고 있습니다. 에이전트의 약속은 개발자들이 코드를 더 빠르게 작성하고, 여러 작업을 d...에 위임할 수 있다는 것입니다.

Vehicular Edge Computing (VEC)는 지능형 교통 시스템에서 계산 효율성과 서비스 품질을 향상시키는 유망한 패러다임으로 부상하고 있습니다.

극도의 이기종성이 나타나는 최신 HPC 시스템은 quantum accelerators를 포함하기 시작하면서, classical과 quantum 사이를 조정할 수 있는 runtimes를 필요로 하고 있다.

대형 언어 모델(LLMs)은 프로그램과 다중 에이전트 시스템을 진화시키는 데 점점 더 많이 사용되고 있지만, 대부분의 기존 접근 방식은 overwrite-based mutations에 의존한다…

대규모 언어 모델(LLMs)은 프로그램 및 다중 에이전트 시스템을 진화시키는 데 점점 더 많이 사용되고 있지만, 대부분의 기존 접근 방식은 덮어쓰기 기반 변이를 의존한다…

비디오 디퓨전 모델은 생성 비디오 합성에 혁신을 가져왔지만, 정확도가 떨어지고 느리며 생성 과정에서 불투명할 수 있어 사용자를 …

3D 포인트 클라우드 처리를 위한 최신 신경 아키텍처는 convolutional layers와 attention blocks를 모두 포함하지만, 이를 조합하는 최적의 방법은 아직 명확하지 않다.

시각 토크나이저(예: VAEs)의 latent space 품질은 현대 generative models에 매우 중요합니다. 그러나 표준 reconstruction-based training은 …

알츠하이머병(AD)은 인지 능력에 부정적인 영향을 미치는 진행성 신경퇴행성 질환이다. 언어와 관련된 변화는 자동으로 ...

우리는 Recurrent Video Masked‑Autoencoders (RVM)을 제시한다: 트랜스포머 기반 순환 신경망을 활용한 새로운 비디오 표현 학습 접근법이다.

Generalization은 인터랙티브 3D scene 생성에서 여전히 핵심 과제입니다. 기존 학습 기반 접근 방식은 제한된 sce...

최근 feed-forward reconstruction 모델인 VGGT와 π^3는 인상적인 재구성 품질을 달성하지만, quadratic memory 때문에 스트리밍 비디오를 처리할 수 없습니다.

최근 이미지‑투‑3D 분야의 진전은 디자인, AR/VR, 로보틱스에 엄청난 가능성을 열어주었습니다. 그러나 실제 애플리케이션에서 AI가 생성한 3D 자산을 사용하려면,…

본 논문에서는 JoVA라는 통합 프레임워크를 제시하여 비디오‑오디오 공동 생성을 수행합니다. 최근의 고무적인 진전에도 불구하고, 기존 방법들은 두 가지 중요한 제한에 직면합니다…

개인화는 LLM이 개별 사용자 선호와 요구에 맞추는 데 필수적이 되고 있습니다. 그러나 현재 접근 방식은 종종 계산 비용이 많이 듭니다.

우리는 인터랙티브 인텔리전스(Interactive Intelligence)를 소개한다. 이는 성격에 맞춘 표현, 적응형 상호작용, 그리고 자기 진화가 가능한 새로운 디지털 휴먼 패러다임이다.

Textual Inversion (TI)은 텍스트-이미지 개인화에 효율적인 접근 방식이지만 복잡한 프롬프트에서는 종종 실패합니다. 우리는 이러한 실패를 임베딩 노름 i...

컴퓨터 지원 합성 계획(computer-aided synthesis planning)을 해결하는 것은 완전 자동화된(fully automated) 로봇 지원 합성 워크플로(robot-assisted synthesis workflows)를 가능하게 하고 약물 발견(drug discovery)의 효율성을 향상시키는 데 필수적입니다.

법과학자들은 몸값 전화, 비밀 녹음, 자살 편지 의혹, 혹은 익명 ...에 대한 경우에 알 수 없는 화자나 작가를 식별해야 할 때가 많다.

Proof-of-Work (PoW)의 보안성과 탈중앙화는 기존 블록체인 시스템에서 충분히 검증되었습니다. 그러나 그 엄청난 에너지 낭비는…

online learning 환경이 변화함에 따라 personalization에 대한 필요성이 점점 더 명확해지고 있습니다. 교육 자원이 급증하고 있지만, 교육자들은 …

대형 언어 모델에서의 Safety alignment mechanisms는 학습된 refusal behavior를 통해 유해한 질의에 대한 응답을 방지하지만, 동일한 메커니즘이 leg...

대규모 언어 모델(LLMs)은 질문 응답 외의 분류 작업에서 다양한 방식으로 응답하는 것으로 나타났습니다. LLM 응답은 때때로...

Dexterous manipulation은 섬세한 hand motion이 물체와의 contact을 통해 environment에 미치는 영향을 이해해야 하기 때문에 어려운 과제입니다. We intro…

인공지능(AI) 모델의 검증 및 확인을 견고성 평가를 통해 수행하는 것은 통합 시스템의 신뢰할 수 있는 성능을 보장하는 데 필수적입니다.

Tile 기반 다중 처리 요소(PE) 가속기는 일반 행렬 곱셈(GEMM)에서 경쟁력 있는 성능을 달성할 수 있지만, 매우 구현하기 어렵다.

우리는 고차원에서 통계적 작업을 고려한다. 이때 손실은 데이터가 파라미터에 의해 생성된 고정 차원의 부분공간으로의 투영을 통해서만 의존한다.

불유창성이 겹칠 때 말더듬 탐지는 제대로 작동하지 않는다. 기존 파라메트릭 모델은 복잡하고 동시에 발생하는 불유창성(예: 'bloc…')을 구분하는 데 어려움을 겪는다.

continuous time을 표현하는 것은 large language models (LLMs)로 temporal event sequences를 모델링할 때 중요한 동시에 충분히 탐구되지 않은 과제입니다. Various strategi...

Graph Neural Networks는 graph classification 작업에서 상당한 성공을 보여왔지만, 종종 상당한 계산 자원을 필요로 하고 어려움을 겪는다.

우리는 vision-language 모델에서 중요한 격차인 물리적으로 타당한 장면 변환을 이해하고 생성하는 문제를 해결하기 위해 Do-Undo 작업과 벤치마크를 소개합니다.

강화 학습(RL)을 사용하여 범용 추론 모델을 구축하는 것은 도메인 간 이질성이 크게 존재하며, 추론에서의 큰 변동인 inferenc...을 포함합니다.

최근 조직병리학에서 딥러닝 프레임워크, 특히 다중 인스턴스 학습(MIL)과 병리학 기본 모델(PFMs)을 결합한 것이 ...

잘 설계된 prompt는 large language models의 성능을 향상시킬 수 있습니다; 자동 prompt 최적화 기술은 수동 작업 없이 성능을 향상시키는 것을 목표로 합니다.

Square Kilometre Array (SKA) 프로젝트는 세계에서 가장 큰 연속 과학 데이터 시스템 중 하나를 운영하여, 엄격한 p... 하에 페타스케일 이미징을 지속할 것입니다.

Autoregressive models (ARMs)은 느린 순차 추론으로 인해 제한됩니다. Masked diffusion models (MDMs)은 병렬적인 대안을 제공하지만, 그들은 crit…에 고통받습니다.

본 논문에서는 분산 학습을 위한 차등 프라이버시 보장 확률적 그래디언트 푸시(Differentially Private Stochastic Gradient Push)와 압축 통신(Compressed communication)을 결합한 DP‑CSGP를 제안한다.

Denoising language models (DLMs)는 자동 음성 인식 (ASR)을 위한 전통적인 language models (LMs)의 강력한 대안으로 제안되었습니다, motiv…

대규모 Mixture-of-Experts (MoE) 모델 추론은 높은 자원 요구와 동적 워크로드 때문에 어려운 과제입니다. 기존 솔루션은 종종 전체 모델을 배포합니다.