도구는 우리의 사고를 형성합니다. 그래서 개발자가 필요에 맞게 조정할 수 있도록 extensible하고 flexible한 도구를 갖는 것이 중요합니다. 프로그램에 대한 추론은 …

우리는 두 솔버의 겹치는 메쉬 영역에서 solution data를 보간하기 위한 scalable algorithm의 적용을 설명한다. 이 feature는 ...에 필수적이다.

대규모 언어 모델(Large Language Models)은 소프트웨어 엔지니어링 분야에서 빠르게 주목받고 있지만, 이들의 증가하는 탄소 발자국은 시급한 지속 가능성 문제를 제기합니다. While tr...

Self-Admitted Technical Debt (SATD)는 개발자가 코드 주석, 커밋 등 자연어 아티팩트에 명시적으로 인정한 기술적 타협을 의미한다.

Parameter-Efficient Fine-Tuning (PEFT)은 데이터 센터에서 대형 언어 모델(LLM) 맞춤화를 위한 파인튜닝 API의 백엔드로 널리 적용되고 있다. 서비스…

학술 회의의 탄소 발자국에 대한 논의가 커짐에 따라, 교통으로 인한 환경 영향에 대해 더 많은 질문이 제기되고 있습니다.

우리는 Undecided-State Dynamics (USD)를 연구한다. 이는 각 정점이 k개의 결정된 의견 중 하나 또는 미결정 상태를 가질 수 있는 기본적인 합의 과정이다. 우리는 ...

자동화된 C-to-Rust 마이그레이션은 코드 스니펫에서 산업 프로젝트로 규모를 확장할 때 시스템적인 장애물에 직면합니다. 주로 빌드 컨텍스트가 종종 제공되지 않기 때문입니다.

대규모 AI/ML 훈련 시스템은 거의 검토되지 않는 두 가지 가정에 의존한다: (1) 체크포인트가 global training state의 원자적 스냅샷을 나타낸다는 것, ...

sequential에서 parallel computing으로의 전환은 현대 high‑performance applications에 필수적이지만, 동시성의 가파른 learning curve 때문에 방해받는다.

인간과 제품이 결합된 모습을 보여주는 인간‑제품 이미지(Human‑product images)는 광고, 전자상거래(e‑commerce), 디지털 마케팅에서 중요한 역할을 합니다. 필수적인 …

검증 가능한 상징 데이터에 대한 학습은 표준 사전 학습 코퍼스가 제공하는 것보다 언어 모델의 추론 한계를 확장하는 유망한 방법이다. Y...