Computationaltoken

블록체인 시스템을 데이터 처리 관점에서 종합 분석. 분산 원장 기술, 합의 프로토콜, 스마트 계약, BLOCKBENCH 프레임워크를 활용한 성능 벤치마킹을 다룹니다.

바이트 레벨 BPE 토크나이저의 불완전 토큰과 LLM 환각 행동을 유발하는 불가능한 바이그램 취약점에 대한 연구 분석

NLP와 기계 학습을 활용한 플라멩코 가사 정량 분석을 통해 장르 분류, 의미장 식별을 구현하고 어휘 패턴을 통해 역사적 연관성을 탐구한다.

computationaltoken 기술 및 애플리케이션에 관한 포괄적인 기술 문서와 자료.

비전 트랜스포머를 위한 새로운 토큰 프루닝 방법으로, 정확도를 유지하면서 계산 복잡도를 줄이기 위해 토큰 중요도와 다양성을 함께 고려합니다.

WordPiece 토큰화를 위한 새로운 선형 시간 알고리즘 분석. BERT와 같은 NLP 모델의 효율성을 향상시키는 기술적 세부 사항, 결과 및 미래 적용 방향을 포함합니다.

FNet 분석: 셀프 어텐션을 푸리에 변환으로 대체하여 NLP 벤치마크에서 경쟁력 있는 정확도를 유지하면서도 더 빠른 학습 및 추론을 가능케 한 트랜스포머 변형 모델.

DafnyBench는 정형 소프트웨어 검증을 위한 머신러닝 시스템 훈련 및 평가를 위한 가장 큰 벤치마크로, 750개 이상의 프로그램과 53,000줄 이상의 코드를 포함합니다.

스마트 시티에서 프라이버시 보호 인증을 위한 권한 바우처 프로토콜에 대한 Tamarin Prover 및 기타 검증 도구를 활용한 포괄적 형식 분석

Lamb는 어휘 모호성을 처리하기 위해 어휘 분석 그래프를 생성하는 어휘 분석기로, 파서와의 협력을 통해 문맥 민감 분석을 가능하게 합니다.

수학적 모델을 활용한 MPI 프로그램 검증에 대한 종합적 분석, 행렬 곱셈 알고리즘 적용 및 기존 검증 기법과의 비교