· ai
[Paper] Fuzzy Formal Contexts를 이용한 Possibilistic Reasoning을 위한 Modal Logic
우리는 퍼지 형식 컨텍스트를 이용한 가능론적 추론을 위해 two‑sort weighted modal logic를 도입한다. 이 논리의 syntax는 두 종류의 weighted modal …
-
- · ai
[Paper] SymSeqBench: 규칙 기반 심볼릭 시퀀스 및 데이터셋 생성과 분석을 위한 통합 프레임워크
순차적 구조는 언어, 움직임, 의사결정과 같은 자연 인지 및 행동의 여러 영역에서 핵심적인 특징입니다. 마찬가지로, 이것은 또한...
- · ai
[Paper] Large language models와 영어의 엔트로피
우리는 다양한 출처의 영어 텍스트에서 장거리 구조를 밝혀내기 위해 대형 언어 모델(LLMs)을 사용합니다. 많은 경우에서 조건 엔트로피 또는 코드 길이는 ...
- · ai
[Paper] CPJ: 설명 가능한 농업 해충 진단 via Caption-Prompt-Judge with LLM-Judged Refinement
정확하고 해석 가능한 작물 질병 진단은 농업 의사결정에 필수적이지만, 기존 방법들은 종종 비용이 많이 드는 감독된 파인튜닝에 의존한다...
- · ai
[Paper] RAIR: 규칙 인식 Benchmark로 도전적인 Long‑Tail와 Visual Salience Subset을 통합한 E‑commerce Relevance Assessment
검색 관련성은 웹 전자상거래에서 핵심적인 역할을 합니다. 대형 언어 모델(LLMs)이 관련성 작업에서 상당한 성과를 보여준 반면, 기존 벤치마크는…
- · software
[Paper] 고동시성 티켓 판매 보안: 마이크로서비스 기반 프레임워크
Railway ticketing system은 가장 중요한 공공 서비스 인프라 중 하나입니다. 휴일과 같은 피크 기간에는 종종 도전에 직면합니다 ...
- · ai
[Paper] 반복적 배포가 LLM의 계획 능력을 향상시킨다
우리는 이전 모델의 배포에서 사용자가 신중하게 선별한 데이터를 기반으로 각각 미세 조정된 대규모 언어 모델(LLMs)의 반복적 배포가 …
- · ai
[Paper] AI-Driven 클라우드 자원 최적화 멀티 클러스터 환경을 위한
현대 cloud-native 시스템은 확장성, 복원력 및 지리적 분산을 지원하기 위해 multi-cluster 배포에 점점 더 의존하고 있습니다. 그러나 기존의 ...
- · devops
[Paper] 분산 양자 컴퓨팅 시스템을 위한 적응형 자원 오케스트레이션
단일 장치를 넘어 양자 컴퓨팅을 확장하려면 많은 양자 처리 유닛(QPUs)을 네트워킹하여 일관된 양자‑HPC 시스템을 구축해야 합니다. 우리는 Mod...
- · software
[Paper] SoK: 암호화폐 VASP AML/CFT 컴플라이언스를 위한 Web3 RegTech
Web3 기술의 분산 아키텍처는 Anti-Money Laundering 및 Counter-Financing of Terrorism 준수에 근본적인 과제를 제기합니다. Trad...
- · software
[Paper] Feature Slice Matching을 이용한 정밀 버그 탐지
function similarity를 측정하여 bugs를 탐지하는 것은 효과적이지만, bugs와 무관한 statements는 noise interference 때문에 performance를 저해할 수 있다.
- · ai
[Paper] 멀티모달 딥 뉴럴 네트워크를 위한 Self-Supervised Neural Architecture Search
Neural architecture search(NAS)는 딥 뉴럴 네트워크(DNN)의 아키텍처 설계 과정을 자동화하는 것으로, 점점 더 많은 관심을 받고 있다. 멀티모달…