Formal approaches to achieve accuracy of quantized neural network, Korea Model Optimization Program, Google Korea

2023.09.22~2024.09.21

1970년 - 1970년

A Fundamental Technology for Modular Neural Network Verification (신경망 분해/통합 검증을 위한 원천 기술 연구), 삼성미래기술육성재단

2023.12.01~2026.11.30

1970년 - 1970년

Formal verification on pKVM

1970년 - 1970년

ADO: Atomic Distributed Objects - Distributed System Verification

1970년 - 1970년

Neural Network Verification Methodology Development

1970년 - 1970년

n tools for pKVM and verify it

1970년 - 1970년

CertiKOS

1970년 - 1970년

Quantization Benchmarks

1970년 - 1970년

Smart Contract Synthesis

1970년 - 1970년

Building a Tool to Automatically Synthesize Smart Contracts

1970년 - 1970년