2024 LeSN
1.LeSN (Reliable software and Neural Network Lab.) 로고가 생겼습니다 :D
이름: 레슨(LeSN)이 Reliable Software & Neural Network Homepage: https://sites.google.com/view/lesn-lab Members: https://sites.google.com/view/lesn-lab/mem
2.Mapping issue in Quantization
quantization mapping https://gaussian37.github.io/dl-concept-quantization/#quantization-mapping-%EC%9D%B4%EB%9E%80-1 딥러닝 모델의 weight FP32 -> INT8 참조: https://gaussian37.github.io/dl-concept-quantiza...
3.[논문]Correlations between Word Vector Sets
"Correlations between Word Vector Sets" 논문은 자연어 처리에서 흔히 사용되는 단어 임베딩(word embeddings)을 이용하여 비지도적 의미론적 텍스트 유사성(STS) 작업에 접근하는 방법에 대해 탐구합니다.
4.[논문]Formal Specification for Deep Neural Networks
The paper discusses the importance of high-quality formal specifications for verifying deep neural networks, especially in safety-critical application
5.[논문] Arachne: Search-Based Repair of Deep Neural Networks
논문 제목: Arachne: Search-Based Repair of Deep Neural Networks 📕 Summary Abstract 이 논문은 '아라크네(Arachne)'라는 딥 뉴럴 네트워크(DNN)를 위한 프로그램 수리 기법을 소개합니다. 아라크네는
6.NNrepair Benchmark
MNISTCIAR10LQHQPoisonAdv
7.QNNRepair: Quantized Neural Network Repair
개요:QNNRepair은 양자화 과정에서 성능 저하를 야기하는 뉴런을 식별하고 수정하여 양자화 신경망(QNN)의 성능을 복구하는 방법입니다.
8.LLVM 컴파일러의 활용
LLVM은 "Low Level Virtual Machine"의 약자로, 컴파일러와 툴체인의 기반 기술을 제공하는 프로젝트입니다. 소스 코드를 기계가 이해할 수 있는 언어로 변환하는 컴파일러의 역할을 넘어서, 코드의 분석과 변환, 최적화를 위한 프레임워크를 제공합니다
9.프로그래밍 언어이론(PLT): 1. 프로그래밍 언어의 기초와 함수형 프로그래밍
프로그래밍 언어 이론은 컴퓨터 과학에서 핵심적인 분야로, 프로그래밍 언어의 디자인, 구현, 분석 및 사용에 대한 원리를 다룹니다. 함수형 프로그래밍(Functional Programming, FP)은 프로그래밍 패러다임 중 하나로, 순수함수와 불변성을 강조합니다.
10.프로그래밍 언어이론(PLT): 2. 논리적 기반과 구문/의미론
주요 내용: 구성적 논리와 그것이 프로그래밍 언어 설계에 주는 의미, 프로그래밍 언어의 구문과 의미론, 명령형 프로그래밍 언어 Imp의 실습, 프로그램 동등성과 호어 논리. 학습 목표: 프로그래밍 언어의 논리적 기반을 이해하고, 구문 및 의미론이 프로그래밍에 어떻게