[Paper] Belobog: Move 언어 퍼징 프레임워크 실세계 스마트 계약용
Move는 보안 및 검증 가능한 스마트 계약 개발을 위한 연구 중심 프로그래밍 언어 설계이며, 수십억의 di... 관리에 널리 사용되어 왔습니다.
Move는 보안 및 검증 가능한 스마트 계약 개발을 위한 연구 중심 프로그래밍 언어 설계이며, 수십억의 di... 관리에 널리 사용되어 왔습니다.
최근 추론 기술의 발전은 대형 언어 모델(LLMs)의 성능을 크게 향상시켰으며, 이들의 능력에 대한 기대를 높이고 있습니다.
디버깅은 소프트웨어 개발 및 회로 설계에서 가장 시간과 비용이 많이 드는 작업 중 하나입니다. 여러 공식 기반 결함 위치 지정(FBFL) 방법…
Diffusion large language models (dLLMs)은 autoregressive 모델에 대한 유망한 대안을 제공하지만, 그 실용성은 느린 반복적인 과정 때문에 크게 제한됩니다.
Test-time policy optimization은 대규모 언어 모델(LLMs)이 자체 생성 롤아웃으로부터의 피드백을 활용하여 분포 변화에 적응하도록 합니다. 그러나,…
Majority voting은 parallel reasoning traces를 집계함으로써 close-ended question answering에 효과적인 것으로 입증되었습니다. 그러나 이는 open...
저자원 언어에서의 Hate speech recognition은 데이터셋 부족, orthographic heterogeneity, linguistic variety 등으로 인해 여전히 어려운 문제입니다. ...
고성능 컴퓨팅(HPC) 센터는 극한 규모의 과학 연구를 가능하게 하는 첨단 인프라를 제공합니다. 이러한 센터는 하드웨어 ...
코드 생성 LLM은 주로 정적 아티팩트(소스, 주석, 사양) 위에서 훈련되며 런타임 동작의 구체화에 대해서는 거의 학습되지 않는다. 그 결과...
디지털 사운드 신시스는 수백만 개의 구성을 포함하는 방대한 파라미터 공간을 탐색할 기회를 제공합니다. 품질 다양성(QD) 진화 알고리즘…
생성 AI와 AI‑assisted coding이라는 더 넓은 흐름과 함께 등장한 ‘vibe coding’이라는 용어는 자연어 프롬프트를 통해 소프트웨어를 만드는 것을 의미합니다…
Data science 이니셔티브는 기술적 제약, 조직적 제한 및 불충분한 위험 관리 관행으로 인해 높은 실패율을 보이는 경우가 많습니다.
소프트웨어 변형 집합을 소프트웨어 제품 라인(SPL)으로 마이그레이션하는 것은 비용이 많이 들고 잠재적으로 도전적인 작업입니다. 실제로, SPL 엔지니어링은 …
분산 시스템에서 프로세스가 메시지를 브로드캐스트하도록 하는 가장 일반적인 전략은 one-to-all communication이다. 그러나 이 접근 방식은 확장성이 부족하다.
Beaconless geocast protocols는 모바일 ad-hoc 무선 네트워크에서 메시지를 전송하는 데 사용되는 라우팅 프로토콜이며, 각 노드가 사용할 수 있는 유일한 정보는 …
웨어러블 센서, 예를 들어 스마트워치는 의료, 스포츠, 교육 등 다양한 분야에서 점점 더 보편화되어 지속적인 모니터링을 가능하게 합니다.
다양한 컴퓨팅 환경에서 인공지능(AI) 워크로드에 대한 수요가 증가함에 따라 보다 효율적인 데이터 관리 전략이 필요하게 되었습니다.
이 기술 백서는 정적이고 하드코딩된 a...의 한계를 해결하도록 설계된 계산 모델인 Interactive Agents Call Tree (IACT)를 소개합니다.
음성 대화형 에이전트는 voice-native LLMs 쪽으로 수렴하고 있습니다. 이 튜토리얼은 cascaded ASR/NLU에서 end-to-end, retrieval-and vision …까지의 경로를 정리합니다.
대형 언어 모델은 학술 논문 작성 워크플로우에 점점 더 통합되고 있지만, 기존 어시스턴트는 편집기 외부에 머물러 있어 깊은 상호작용을 방해합니다.
본 논문은 두 개의 서로 다른 HPC 클러스터를 기반으로 분산 시스템에서 메모리 원격 접근을 위한 다양한 메커니즘을 제시하고 평가한다. 우리는 솔루션을 비교하고 있다.
Eye-based emotion recognition은 eyewear devices가 사용자의 emotional states를 인식하고 emotion-aware interaction을 지원하도록 합니다. 그러나 이러한 functionality를 배포하는 것은…
attention-based transformers를 활용한 general-purpose AI 시스템의 최근 발전은 neocortex와 cerebellum이 …에도 불구하고 어떻게 작동하는지에 대한 잠재적인 창을 제공한다.
본 논문에서는 속성별 표현(예: color, shape, size)을 기반으로 한 새로운 neural network 모델을 제시한다, 이는 연관적 …