arXiv

Digital sovereignty는 비주권 클라우드 인프라의 지배에 의해 촉발되어 현대의 software-intensive systems에 있어 핵심적인 관심사로 부상했습니다, …

Black-box optimization은 시뮬레이션 기반 평가가 비용이 많이 들고 gradients를 사용할 수 없는 엔지니어링 설계 문제에서 점점 더 많이 사용되고 있습니다. In this ...

SLO-as-code는 per-service 신뢰성을 declarative하게 만들었지만, user experience는 그 신뢰성이 microservice의 emergent property인 journeys에 의해 정의됩니다.

Dolev‑Reischuk 하한은 n개의 프로세서가 f개의 결함을 견딜 수 있는 모든 결정적 Byzantine Agreement (BA) 프로토콜이 Ω(f² + n) 메시지를 필요로 함을 입증한다.

분산 원장은 산업계에서 신뢰할 수 있는 책임성, 강력한 무결성 보호 및 높은 가용성을 제공하기 위해 점점 더 많이 의존되고 있습니다, 특히 중요한…

애플리케이션은 모놀리식 설계에서 마이크로서비스 및 서버리스 아키텍처로 이동하고 있으며, 경량이고 독립적으로 배포 가능한 컴포넌트들의 플릿을 ...

강화 학습(RL)을 통한 사후 훈련은 테스트 시 스케일링을 통해 대형 언어 모델(LLMs)의 추론 능력을 크게 향상시켰습니다. 그러나, 확장하는 th...

우리는 protein autoregressive modeling (PAR)을 소개한다. 이는 coarse-to-fine 방식으로 다음 스케일 p...를 통해 protein backbone을 생성하는 최초의 multi‑scale autoregressive 프레임워크이다.

Internet of Things (IoT) 배치는 센서 드리프트, 변화하는 사용자 행동, 그리고 이질적인…와 같은 요인들이 존재하는 비정상적이고 동적인 환경에서 운영됩니다.

강화 학습(RL)은 대형 언어 모델(LLM)의 파인튜닝에 있어 핵심이 되었으며, 근접 정책 최적화(PPO)는 사실상 표준 방법으로 자리 잡고 있습니다.

Dense point tracking은 컴퓨터 비전의 기본적인 문제이며, 비디오 분석부터 로봇 매니퓰레이션에 이르기까지 다양한 응용 분야가 있다. State-of-the-art tracke...

우리는 PerpetualWonder라는 하이브리드 생성 시뮬레이터를 소개합니다. 이 시뮬레이터는 단일 이미지로부터 장기적인, 행동 조건부 4D 씬 생성을 가능하게 합니다. 현재 연구...

최근 연구에 따르면, diffusion models는 pixel-space latents 대신 SSL patch features에 직접 작동함으로써 고품질 이미지를 생성할 수 있음을 보여주었습니다. 하지만...

최근의 진전은 현대 어텐션 기반 신경망에서 in-context learning의 메커니즘에 대한 우리의 이해를 급속히 발전시켰습니다. 그러나, exis...

대형 언어 모델은 많은 응용 분야를 혁신했지만 여전히 학습 비용이 많이 듭니다. Sparse Mixture of Experts (MoE)는 조건부 계산을 통해 이를 해결합니다.

지속적 강화 학습(CRL)은 에이전트가 이전에 습득한 정책을 잊지 않으면서 일련의 작업을 학습하도록 요구합니다. 본 연구에서는 우리는 소개합니다...

현대의 대규모 언어 모델(LLMs) 훈련은 특정 행동을 유도하도록 설계된 알고리즘과 데이터셋의 실질적인 뷔페가 되었으며, 이를 통해 …

현재 자동 회귀 Vision Language Models (VLMs)은 일반적으로 이미지를 표현하기 위해 많은 수의 visual tokens에 의존하므로, 더 많은 compute가 필요하게 된다.

머신러닝 원자간 포텐셜(MLIPs)은 때때로 양자 퍼텐셜 에너지 표면(PES)의 물리적 부드러움을 재현하지 못해, …

헤드라인을 생성하는 것부터 뉴스 조작에 이르기까지, Large Language Models (LLMs)은 일반적으로 최종 출력물을 기준으로 평가되며, 안전성 가정 하에 ...

대형 언어 모델은 종종 폐쇄형 질문 응답(closed-book question answering)에서 자신의 지식 한계를 인식하는 데 어려움을 겪으며, 그 결과 자신감 있는 환각(hallucinations)을 발생시킵니다. While decompose...

Linear attention은 계산 효율적이면서도 표현력이 풍부한 softmax attention의 대안입니다. 그러나 최근 실증 결과는 state o…

포즈와 모션 프라이어는 휴머노이드 로봇공학에서 중요한 역할을 합니다. 이러한 프라이어는 인간 모션 복구(HMR) 분야에서 널리 연구되어 왔으며…

양자 화학은 화학, 재료 과학, 계산 생물학 등 분야를 위한 기본적인 촉진 도구입니다. 그 힘에도 불구하고, ...

우리는 El Agente Estructural을 소개한다. 이는 multimodal, natural-language-driven geometry-generation 및 manipulation agent로, autonomous chemistry와 molecular modelling에 사용된다.

추론 언어 모델은 긴 사고 사슬을 생성하며, 추상적인 문제에서 비추론 언어 모델보다 크게 능가합니다. 그러나, the inter...

3D 스캐닝 기술의 발전으로 포인트 클라우드는 3D 공간 데이터를 표현하는 데 기본이 되었으며, 그 적용 범위는 다양하게…

우리의 신경망에 대한 이론적 이해는 그들의 실증적 성공에 뒤처지고 있습니다. 중요한 설명되지 않은 현상 중 하나는 왜 그리고 어떻게, ...

Software Engineering (SE)은 AI 자동화(코드 생산 비용 감소)와 하드웨어‑에너지 제약(실패 co…을 증폭)이라는 동시에 압력을 받고 있다.

Statically-annotated types는 개발자들이 다양한 프로그래밍 작업을 수행하는 데 도움이 되는 것으로 나타났으며, static type checking이 없을 때에도 이 혜택은 유지됩니다...

인간 손톱 질환은 모든 연령대에서 점차 관찰되며, 특히 노인들 사이에서 흔히 심각해질 때까지 무시되는 경우가 많습니다. 조기 발견…

정기적인 대장내시경 검진 중 전암성 폴립의 정확한 위험 계층화는 대장암(CR…) 발생 위험을 낮추는 데 필수적이다.

대형 언어 모델(LLMs)의 급속한 성장은 단일 GPU 하드웨어의 발전 속도를 앞질러, 모델 규모가 메모리 용량에 점점 더 제한받게 만들고 있습니다.

진정한 self-evolution은 에이전트가 lifelong learners로서 새로운 경험을 내재화하여 미래 문제를 해결하도록 요구한다. 그러나 이를 엄밀하게 측정하는 것은 ...

Omni-modal Large Language Models (Omni-LLMs)는 오디오‑비디오 이해 작업에서 강력한 능력을 입증했습니다. 그러나 이들은 긴 멀티모달…

컨트롤러 — 하드웨어 동작을 관리하는 software module — 은 일반적인 로봇 시스템의 핵심 구성 요소입니다. control theory는 safety guarantees를 제공하지만 s...

대화형 음성에 대한 자동 음성 인식(ASR)은 대규모이며 잘 주석된 다중 화자 diarization 데이터의 제한된 가용성 때문에 여전히 도전적입니다.

이 연구는 다목적 최적화 문제(MOOPs)를 위한 메타휴리스틱 개발과 관련된 두 가지 중요한 과제, 즉 지수적 성장…

대형 언어 모델의 도입은 소프트웨어 개발 모델의 대대적인 재구성 및 재고를 촉발했습니다. 이어지는 소프트웨어 엔지니어링의 반응은...

Spatial accelerators는 compute‑memory integrated units의 배열로 구성되어, low latency로 inference workloads를 배포하기 위한 매력적인 플랫폼을 제공합니다.

Low-density parity-check (LDPC) 디코딩은 5G New Radio (NR) 물리 계층에서 가장 계산 집약적인 커널 중 하나이며, 반드시 ... 내에 완료되어야 합니다.

Software Engineering (SE) agents는 다양한 SE 작업을 지원하는 데 유망한 능력을 보여왔습니다. 현재 SE agents는 근본적으로 반응형이며, 의사결정을…

분산 시스템에서의 협조는 종종 통신 지연에 의해 방해를 받아 성능이 저하됩니다. 양자 얽힘은 근본적으로 더 강력한 c...

신경형 시스템을 이용한 감각 처리는 일반적으로 이벤트 기반 센서를 사용하거나 입력 신호를 스파이크로 변환한 뒤 제시함으로써 수행됩니다...

현재 LLM 안전에 대한 접근 방식은 알려진 위협을 식별하고 가드레일을 통해 차단하는 취약한 고양이와 쥐 게임에 근본적으로 의존합니다. 우리는 …를 주장한다.

대규모 언어 모델(Large Language Models, LLMs)의 등장은 자동 알고리즘 설계 분야에 새로운 지평을 열었으며, 수많은 강력한 방법들을 탄생시켰습니다. 그러나 이러한 …

자동화된 프로그램 수리(APR)의 급속한 진전은 AI, 특히 대형 언어 모델(LLMs)과 에이전트 기반 시스템의 발전에 힘입었습니다. SWE-B...

우리는 SPEAR를 소개합니다, 스마트 계약 감사를 위한 다중 에이전트 협업 프레임워크로, 현실적인 보안 분석 워크플로우에서 확립된 MAS 패턴을 적용합니다.