우리는 가상 현실(VR) 게임의 플레이테스팅을 위한 최초의 motion generation system을 제시합니다. 우리의 플레이어 모델은 VR 헤드셋과 handheld controller의 움직임을 생성합니다.

대형 언어 모델은 특히 Lean에서 인터랙티브 정리 증명에 있어 눈에 띄는 성과를 거두었습니다. 그러나 LLM 기반 증명 자동화에 대한 대부분의 벤치마크는…

LLM의 코딩 능력이 급속히 향상됨에 따라, LLM 기반 자동 소프트웨어 개발의 병목 현상이 올바른 코드를 생성하는 것에서 … 로 이동하고 있다.

Generative AI(GenAI)의 도입은 소프트웨어 엔지니어링에 큰 변화를 예고합니다. 이는 기술적인 측면뿐만 아니라 전문가들의 인간적인 측면도 포함합니다.

자동차 소프트웨어가 하드웨어 가용성을 점점 더 앞서가면서, 늦은 통합과 비용이 많이 드는 하드웨어‑인‑더‑루프(HiL) 병목 현상을 초래하고 있습니다. The InnoRegioCha...

리튬이온 배터리의 내부 상태를 정확하고 실시간으로, 그러나 비파괴적으로 추정하는 것은 열화 예측 및 사용 전략 최적화에 필수적입니다…

인공지능(AI)은 소프트웨어 개발 작업의 다양한 부분을 점점 더 자동화하고 있습니다. AI가 개발 작업의 생산성을 향상시켰음에도 불구하고...

우리는 오픈소스 메시지 지향 미들웨어(MOM) 시스템에 대한 포괄적인 특성화 연구를 제시합니다. 우리는 엄격한 방법론을 따라 선택하고 연구했습니다.

최근 멀티모달 추론의 진보로 이미지 를 해석하고 이를 언어와 연결하며 구조화된 분석 작업을 수행할 수 있는 에이전트가 가능해졌습니다. 확장...

Diffusion Language Models (DLMs)는 반복적인 디노이징으로 인해 높은 추론 비용이 발생하여 효율적인 프루닝을 필요로 합니다. 기존 프루닝 휴리스틱은 주로 …

Vision-Language-Action models (VLAs)는 언어 지시를 로봇 제어에 연결할 것을 약속하지만, 실제로는 언어를 충실히 따르지 못하는 경우가 많다. When pr...

보상 모델링은 RLHF와 RLAIF를 포함한 현대 정렬 파이프라인의 핵심 요소이며, PPO와 TRPO를 포함한 정책 최적화 방법의 기반을 제공합니다. How...