우리는 first-order 반복 최적화 알고리즘에 대한 기본 부등식을 도입하여, implicit와 explicit을 연결하는 간단하고 다재다능한 프레임워크를 형성합니다.

법률 문서를 분류하는 것은 도전 과제이며, 전문 용어 외에도 때때로 문서가 매우 길어질 수 있습니다. 이는 전체 문서를 T...에 입력한다는 것을 의미합니다.

현실적인 시각 시뮬레이션은 어디에나 존재하지만, 이를 만들기 위해서는 컴퓨팅 시간, 렌더링, 그리고 전문가 수준의 애니메이션 지식이 필요합니다. Open-vocabulary visual effe...

Vision Language Models (VLMs)는 구현된 에이전트의 핵심 추론 모듈로 점점 더 많이 채택되고 있습니다. 기존 벤치마크는 그들의 능력을 …​

우리는 퍼지 형식 컨텍스트를 이용한 가능론적 추론을 위해 two‑sort weighted modal logic를 도입한다. 이 논리의 syntax는 두 종류의 weighted modal …

순차적 구조는 언어, 움직임, 의사결정과 같은 자연 인지 및 행동의 여러 영역에서 핵심적인 특징입니다. 마찬가지로, 이것은 또한...

우리는 다양한 출처의 영어 텍스트에서 장거리 구조를 밝혀내기 위해 대형 언어 모델(LLMs)을 사용합니다. 많은 경우에서 조건 엔트로피 또는 코드 길이는 ...

정확하고 해석 가능한 작물 질병 진단은 농업 의사결정에 필수적이지만, 기존 방법들은 종종 비용이 많이 드는 감독된 파인튜닝에 의존한다...

검색 관련성은 웹 전자상거래에서 핵심적인 역할을 합니다. 대형 언어 모델(LLMs)이 관련성 작업에서 상당한 성과를 보여준 반면, 기존 벤치마크는…

Railway ticketing system은 가장 중요한 공공 서비스 인프라 중 하나입니다. 휴일과 같은 피크 기간에는 종종 도전에 직면합니다 ...

우리는 이전 모델의 배포에서 사용자가 신중하게 선별한 데이터를 기반으로 각각 미세 조정된 대규모 언어 모델(LLMs)의 반복적 배포가 …​

현대 cloud-native 시스템은 확장성, 복원력 및 지리적 분산을 지원하기 위해 multi-cluster 배포에 점점 더 의존하고 있습니다. 그러나 기존의 ...

단일 장치를 넘어 양자 컴퓨팅을 확장하려면 많은 양자 처리 유닛(QPUs)을 네트워킹하여 일관된 양자‑HPC 시스템을 구축해야 합니다. 우리는 Mod...

Web3 기술의 분산 아키텍처는 Anti-Money Laundering 및 Counter-Financing of Terrorism 준수에 근본적인 과제를 제기합니다. Trad...

function similarity를 측정하여 bugs를 탐지하는 것은 효과적이지만, bugs와 무관한 statements는 noise interference 때문에 performance를 저해할 수 있다.

Neural architecture search(NAS)는 딥 뉴럴 네트워크(DNN)의 아키텍처 설계 과정을 자동화하는 것으로, 점점 더 많은 관심을 받고 있다. 멀티모달…

Deep neural networks (DNNs)는 입력 이미지에 특정 perturbations가 추가될 때 misclassification을 일으키는 adversarial attacks에 여전히 취약합니다. This vu...

hippocampus는 뇌에서 두 가지 핵심적이지만 매우 구별되는 기능을 구현하는 것으로 보인다: long term memory retrieval와 planning 및 spatial navigation. Naivel...

대규모 모델이 개발됨에 따라, 기존의 distributed bilevel optimization algorithms는 low-resource clients에 직접 적용할 수 없습니다. 핵심 …

Quantum Software Engineering (QSE)은 하이브리드 양자‑클래식 시스템의 신뢰성 및 유지보수성을 보장하는 데 필수적이지만, 이에 대한 실증적 증거는 …

소프트웨어 엔지니어링이 새로운 시대(SE 3.0)에 접어들면서, AI 코딩 에이전트가 소프트웨어 개발 워크플로우를 점점 자동화하고 있다. 그러나 정확히 어떻게…

Automated Program Repair (APR)은 버그가 있는 프로그램에 대해 자동으로 올바른 패치를 생성하는 것을 목표로 합니다. 최근 large language models (LLMs)를 활용한 접근 방식은...

LLM 기반 소프트웨어 엔지니어링은 현대 소프트웨어 개발에 영향을 미치고 있습니다. 정확성 외에도, 이전 연구들은 소프트웨어의 성능도 조사했습니다.

대규모 소프트웨어 및 하드웨어 시스템의 완전 자동 검증은 형식 방법(formal methods)의 성배라고 할 수 있습니다. Large language models (LLMs)는 최근…