arXiv

Centralised biometric identity systems expose users to single points of failure, opaque verification processes, and irreversible biometric compromise. Decentral...

Large language models (LLMs) have become integral to modern software development, enabling automated code generation at scale. However, validating the correctne...

In recent years, HPC systems and CPU architectures as their central components, have become increasingly complex, making application development and optimizatio...

Sparse tensors are the most used representation of sparse multidimensional data. Operations that decompose them, selecting their most important features while r...

Pipeline parallelism is essential for large-scale model training, but existing asynchronous approaches often degrade convergence due to parameter mismatch betwe...

그래프에서의 Maximal Independent Set (MIS)은 자원 할당, 스케줄링 및 네트워크 최적화에 응용되는 기본적인 문제이다. 비록 그래프...

현대 물류 시스템은 GPS, IoT 센서, 물류 관리 시스템과 같은 소스에서 지속적인 데이터 스트림을 생성하는 경향이 있습니다. 데이터의 집계, p...

슈퍼컴퓨터의 클러스터 규모가 증가하는 추세는 프로그램 결과를 무효화할 수 있는 Silent Data Corruption (SDC)에 대한 취약성을 높이고 있다. A...

중소기업(SMEs)은 대부분의 경제에서 기업의 대다수를 차지하며, 종종 재정적 제약과 재무적 취약성에 더 높은...

최근, Ben Jedidia et al. (TCS 2024) 프레임워크에서 다값 추정‑분포 알고리즘의 runtime analysis가 상당한 진전을 이루었다.

Evolutionary model merging provides a powerful framework for the automated, training-free composition of LLMs through parameter-space search. However, existing ...

LLM-guided evolutionary search (Evolve systems) has reached state-of-the-art results on mathematical and combinatorial tasks, yet most existing systems report o...

Current vision-language models (VLMs) typically stitch together separate image encoders and language decoders via multi-stage alignment, a modular framework tha...

Parameter-efficient finetuning (PEFT)은 대형 언어 모델을 적응시키는 표준 접근 방식이 되었지만, 평가에서는 주로 다운스트림 정확도에 초점을 맞추고 있다.

대규모 언어 모델(LLMs)은 인간 언어 처리의 계산 모델로서 점점 더 유용해지고 있지만, 비전-언어 l...

World models for interactive video generation은 주로 single-agent 설정에 초점을 맞추어 왔으며, 여기서 future observations는 단일 control signal로부터 생성됩니다.

Search는 사후 훈련 샘플 생성과 추론 모두에서 자기 개선 언어 모델(self-improving language models) 및 에이전시 시스템(agentic systems)에 대한 효과적인 방법으로 제안되었습니다.

A primary bottleneck in contact-rich manipulation is the difficulty of collecting real-world data. Sim-to-real reinforcement learning offers a scalable alternat...

우리는 foreground video의 조명을 target background scene에 맞추어 shadows, color tone, illumination intensity를 조정하는 방법을 제시합니다.

Functional music applications, from consumer focus and sleep aids to clinical interventions, share a distinctive recommendation problem: success is defined by t...

Class-Incremental Learning (CIL) is important in building real-world learning systems. In CLIP-based CIL, the model performs classification by comparing similar...

자율적인 계획과 확장된 환경 상호작용이 가능한 Agentic AI 시스템은 근본적인 제어 문제를 제기한다: 인간이 의미 있는 …

Long-term memory는 개인화된 AI agents에게 점점 더 중요해지고 있지만, 기존 benchmarks와 methods는 여전히 주로 text‑centric합니다. 이미지가 포함될 때조차도...

시각적 결과는 멀티모달 대형 언어 모델에서 점점 더 중심적인 역할을 차지하고 있으며, 신뢰할 수 있고 세밀한 검증이 범용 기반 모델을 확장하는 데 필수적입니다.

Vision-Language-Action (VLA) models unify perception, reasoning, and control within a single policy, yet their multi-billion-parameter backbones and diffusion-b...

Free-text explanations은 인간 라벨 변이(HLV)를 라벨 불일치 너머로 확장시켜, 주석자들의 결정 뒤에 있는 추론과 선호를 드러낸다. 우리는 …

Electroencephalography (EEG) is a critical, non-invasive method to monitor electrical brain activity. EEGs can span anywhere from a couple seconds to multiple h...

On-policy self-distillation (SD)은 teacher-side privileged information (PI)를 사용하여 sparse verifier outcomes를 dense token-level로 전환함으로써 LLM reasoning을 개선합니다.

In the era of autonomous agents, machine-actionable data is critical for data-driven workflows. For more than a decade, semantic metadata like schema.org has an...

Discourse particles, such as well and kind of, are crucial components that enable LLMs to ``speak'' more like humans. They are used to convey emotions, intentio...

Vision classifiers는 spurious correlations를 활용하여 in-distribution 정확도가 높지만 distribution shift 상황에서는 실패한다. 기존의 bias에 대한 접근 방식은 …

Vision-language models (VLMs)은 유창한 인과 설명을 생성하지만, 현재 평가 방법은 언어적 타당성과 충실한 인과 추론을 구별하지 못한다.

LLM의 언어적으로 표현된 자신감은 그들의 내재적 불확실성을 충실히 반영해야 합니다. 최근 연구에서는 LLM이 인식론적 표지(epistemic markers)를 사용하는 데 어려움을 겪는 것으로 나타났습니다.

Computer-use agents (CUAs)는 최근 상당한 진전을 이루었지만, 각 소프트웨어 도메인마다 별도의 대형 전문가를 배치하는 것은 여전히 비용이 많이 듭니다. 작은 오픈…

기존의 memory-augmented LLM agents는 종종 메모리를 사전 정의된 표현과 고정된 retrieval pipelines를 가진 정적 저장소로 취급하는데, 이는 brittle합니다 ...

거대한 양의 컴퓨팅(GPU 사이클, 개인 워크스테이션, 유휴 추론 서버, 작업 사이의 엣지 디바이스 등)이 인센티브에 맞는 p... 때문에 사용되지 않는다.

Interactive 3D assets used in games and simulation are typically decomposed into specific semantic parts to support animation, physics, and scripted behaviors, ...

이 논문은 베이지안 다목적 최적화를 위한 preference-shaped expected improvement 기준을 연구한다. 우리는 종종 …인 두 가지 indicator families를 고려한다.

본 논문은 베이지안 다목적 최적화를 위한 preference‑shaped expected improvement 기준을 연구한다. 우리는 종종 사용되는 두 가지 indicator families를 고려한다.

대형 비전-언어 모델(LVLMs)은 진정한 멀티모달 추론을 향해 빠르게 진화하고 있으며, 시각 검색은 구체적인 구현 사례를 나타냅니다.

Tabular data in knowledge-rich domains often carries a latent prior in the form of Boolean implication relationships (BIRs) between pairs of features. We mine s...

Baldwinian and Lamarckian evolution have existed for a long time in evolutionary algorithms (EAs) without ever dominating the academic literature or practical a...

이 논문은 DAG‑TOML 계약에 대한 의도적으로 작은 실행 가능한 증명을 보고한다: Rust, Go, C, Java, TypeScript, 그리고 AWK로 구현된 여섯 개의 “Hello, world!” 구현…

대형 언어 모델(LLMs)은 특히 에이전시 기능이 등장하면서 소프트웨어 개발의 필수 요소가 되었습니다. 그러나 많은 최첨단 LLM들은 ...

코드 완성 및 생성용 대형 언어 모델(LLMs)은 소프트웨어 개발에서 점점 더 많이 사용되고 있지만, 훈련 예시를 그대로 재현할 수 있습니다.

인과 추론은 전통적인 통계적 연관성을 넘어 경험적 소프트웨어 엔지니어링(ESE)을 발전시키는 근본적인 접근법을 제공하며, 연구자들이…

비동기 반복 방법은 작업자들이 오래된 데이터를 사용하도록 허용함으로써 지연되는 프로세서를 견딜 수 있지만, 그 대가로 iterates가 일관성을 잃게 됩니다, p...

최첨단 다중 서열 정렬(MSA) 알고리즘은 쌍별 서열 정렬(PSA)에 의존하는 진행형 접근법을 기반으로 하며, 가이드 트리를 생성한다.