[Paper] NeSy-Edge: 컴퓨팅 연속체에서의 Neuro‑Symbolic 신뢰성 자기 치유
현대 AI 서비스의 계산 요구량은 점점 중앙 집중식 클라우드를 넘어 엣지와 엔드에 이르는 컴퓨팅 연속체로 실행이 이동하고 있습니다.
4509 posts from this source
현대 AI 서비스의 계산 요구량은 점점 중앙 집중식 클라우드를 넘어 엣지와 엔드에 이르는 컴퓨팅 연속체로 실행이 이동하고 있습니다.
우리는 현실적인 제약이 있는 소규모에서 중규모 도로 네트워크를 내장된 중복성을 갖도록 생성하는 방법들을 비교 연구한다. 본 연구에서는…
가장 관련 있거나 정보량이 풍부한 피처를 선택하는 것은 실제 machine learning 문제에서 핵심적인 이슈입니다. 전체 탐색은 조금이라도 …
최근 interpretability 연구는 종종 특징을 단일 전역 방향, dictionary atom, 혹은 컨텍스트 전반에 걸쳐 공유되는 latent coordinate로 취급합니다. 우리는 ...
적절한 파라미터 설정은 Evolutionary Algorithms (EAs)의 성공을 위한 전제 조건입니다. 다양한 적응 전략이 제안되었지만, 그것은 …
Video generative models는 새로운 추론 행동을 보여줍니다. 신뢰할 수 있는 …을 위해 생성된 이벤트가 프레임 간에 인과적으로 일관되도록 보장하는 것이 필수적입니다.
최근 diffusion models의 진보는 text-to-video 생성 능력을 크게 향상시켰으며, 세밀한 제어를 통해 개인화된 콘텐츠 제작을 가능하게 합니다.
대규모 스웜을 몇 번의 제어 업데이트만으로 조종하는 것은 도전적이다. 실제 시스템은 샘플링된 데이터 형태로 작동하기 때문에, 제어 입력이 간헐적으로 업데이트된다.
불확실한 환경, 예를 들어 산불 확산, 의료 진단, 혹은 자율 주행과 같은 상황에서 미래 상태를 예측하려면, 다중…
Video-driven human reaction generation은 관찰된 비디오 시퀀스에 직접 반응하는 3D 인간 동작을 합성하는 것을 목표로 하며, 이는 인간‑…
본 연구에서는 Image-to-Image Rectified Flow Reformulation (I2I‑RFR)을 제안한다. 이는 표준 I2I 회귀 네트워크를 재구성하는 실용적인 플러그인 재정의이다.
Video agentic models는 도전적인 video-language 작업을 발전시켰습니다. 그러나 대부분의 agentic 접근 방식은 여전히 densely sampled ...에 대한 greedy parsing에 크게 의존합니다.
Causal generative models는 관측 데이터로부터 observational, interventional, 그리고 counterfactual 질문에 답하기 위한 원칙적인 프레임워크를 제공합니다. 그러나...
ML을 사이버 보안에 활용하는 것은 일반화 문제 때문에 오래전부터 제약을 받아 왔습니다: 통제된 시나리오에서 잘 작동하는 모델이 실제 환경에서 성능을 유지하지 못합니다.
최근의 chain-of-thought (CoT) faithfulness 연구는 단일 집계 수치를 보고한다 (예: DeepSeek‑R1은 힌트를 39%의 비율로 인식한다), 이는 faithf...
Theory of Mind (ToM) 추론을 Large Language Models (LLMs)와 함께 사용할 때는 사람들의 암묵적이고 진화하는 믿음이 그들이 추구하는 것과 그들이 ...을 형성하는 방식을 추론해야 합니다.
전통적인 로봇 사회적 행동 생성은 유연성과 자율성이 제한되어 있었으며, 미리 정의된 동작이나 인간 피드백에 의존했습니다. 이 연구는...
경쟁이 치열한 영역에서, instruction-tuned language models는 user-alignment 압력과 in-context evidence에 대한 충실성 사이의 균형을 맞춰야 합니다. 이를 평가하기 위해 ...
대규모 언어 모델(LLMs)은 다양한 작업에서 놀라운 능력을 입증했습니다. 그러나 그 출력의 진실성은 보장되지 않으며, t...
대형 언어 모델(LLMs)은 많은 추론 벤치마크에서 강력한 성능을 달성하지만, 이러한 평가는 일반적으로 r...와 다른 고립된 작업에 초점을 맞춥니다.
Large language models는 여러 도전적인 과제에서 큰 성공을 거두었으며, 그 능력은 새롭게 떠오르는 agentic AI techniques에 의해 더욱 향상될 수 있습니다.
우리는 대화에서 화자와 청자가 보여주는 verbal 및 nonverbal linguistic features가 청자의 상태를 예측하는 데 어떻게 기여할 수 있는지 조사한다.
소프트웨어 엔지니어링 분야에서 AI에 대한 증거는 여전히 개별 작업 완료에 크게 치우쳐 있는 반면, 팀 수준의 전달에 관한 증거는 부족합니다. 우리는 ...
Quantum Approximate Optimization Algorithm (QAOA)와 그 고급 변형인 Quantum Alternating Operator Ansatz (QAOA)는 …에서 주요 연구 주제입니다.
[배경] 잘 정형화된 Software Engineering (SE) 연구 문제는 산업과 학계 간의 격차를 메우는 데 필수적이다. Lean Research Inception (...
구성 튜닝은 더 나은 성능을 위해 품질 보증에서 매우 중요합니다. 그러나 블랙‑박스 n… 때문에 튜너의 효과에 대한 미스터리가 오래전부터 존재해 왔습니다.
Program comprehension은 소프트웨어 엔지니어링에서 필수적인 활동입니다. 이는 종종 전문가들에게 도전이 될 뿐만 아니라, 초보자들의 진보를 방해할 수도 있습니다.
Serverless 컴퓨팅은 인프라 관리를 추상화하지만, 보안 위험을 초래할 수 있는 시스템 수준 동작을 가릴 수도 있습니다. 이전 연구에서는 s...
대형 언어 모델(LLMs)과 에이전시 시스템은 자동화된 소프트웨어 개발에 대한 가능성을 보여주었지만, 이를 하드웨어‑인‑더‑루프(HIL) 임베디드…
이 논문은 이해관계자들이 성과 지표와 해당 인터페이스 요구사항을 자동화된 ...에 고려하도록 조정하는 프로세스를 제시한다.
global majority problem는 종종 Density Classification Task라고 불리며, 계산 능력을 탐구하는 맥락에서 고전적인 벤치마크이다.
Distributed scientific workflows는 점점 더 이질적인 compute clusters, edge resources, 그리고 geo‑distributed data repositories에 걸쳐 확장되고 있습니다. 이러한 환경에서,…
클라우드 로보틱스는 로봇이 고차원 모션 플래닝과 추론을 원격 서버에 오프로드할 수 있게 합니다. 그러나 연속적인 조작 작업을 필요로 하는 ...
1976년 7월, Metcalf와 Boggs는 *Communications of the ACM*에 Ethernet에 관한 기초 논문을 발표했습니다. 그들의 효율 모델 — E = (P/C)/(P/C + W·T) — …
Token pruning은 특히 시간적 중복이 많은 비디오 기반 작업에서 비전‑언어 모델(VLMs)의 계산 효율성을 향상시키는 데 필수적입니다.
멀티모달 대형 언어 모델(MLLMs)은 강력한 visual-language reasoning을 보여주지만, 여전히 자체 native modalities에 제한되어 있어 직접적으로 처리할 수 없습니다.
멀티모달 대형 언어 모델(MLLMs)은 시각과 언어를 연결하는 데 인상적인 진전을 이루었지만, 여전히 공간 이해에 어려움을 겪고 있다...
본 연구에서는 정확한 레이아웃을 가진 이미지를 생성할 수 있는 layout-to-image generation 및 image grounding을 위한 통합 프레임워크인 EchoGen을 제시합니다…
우리는 텍스트 조건부 생성 모델을 위한 테스트 시에 연속적이고 제어 가능한 이미지 편집을 위한 training-free 프레임워크를 제시한다. 기존의 …
Tokenization은 다양한 모달리티의 생성 모델링에서 기본적인 기술입니다. 특히, 이는 autoregressive (AR) 모델에서 중요한 역할을 합니다,…
3D 환경에서 제어 가능한 6-DOF 객체 조작 궤적을 합성하는 것은 로봇이 복잡한 장면과 상호작용하도록 하는 데 필수적이며, 아직도...
Controlled video generation은 최근 몇 년간 급격한 향상을 보였습니다. 그러나 편집 작업과 동적 이벤트, 혹은 영향을 미쳐야 하는 콘텐츠 삽입은…
최근 멀티모달 대형 언어 모델(MLLMs)은 3D 씬 내에서 공간 추론에 높은 잠재력을 보여주었습니다. 그러나 이들은 일반적으로 계산적으로…
Radar는 전천후 특성과 거리 및 Doppler velocity를 측정할 수 있는 능력 때문에 자율주행 시스템에서 중요한 인식 모달리티입니다.
Software vulnerabilities는 계속해서 양이 증가하고 실제로 감지하기 어렵습니다. learning-based vulnerability detection이 진전했지만, …
Orthogonalized-momentum 옵티마이저인 Muon과 같은 방법은 행렬 형태의 모멘텀 업데이트를 대략적으로 백색화/직교화함으로써 트랜스포머 학습을 향상시킵니다.
로봇공학 기반 모델은 다양한 작업 및 환경에서 자연어 지시를 실행하는 강력한 능력을 보여주었습니다. 그러나, 그들은...
대형 언어 모델(Large Language Models)은 다양한 NLP 작업에서 최첨단(state-of-the-art) 결과를 달성하지만, 여전히 체계적인 편향에 취약합니다. 그 중에서도 성(gender) 편향…