cong-liu-2000

Pinned Repositories

case-ta6-experimental-platform-models
Language:C00
AGREE
Assume-Guarantee REasoning Environment
Language:Java125
ansr_neurosymbolic
DARPA ANSR Eval 1 Neurosymbolic Component
Language:Python30
Resolute
Language:Java21
venus2
Verification tool for feedforward fully-connected and convolutional netwotks with ReLU activations.
Language:Python21
NFM-2023-case-study
Model and properties for NFM 2023 paper
Language:Python00
async-agree
Language:TeX00
dasc24_aahaa
Language:TeX00
case-ta6-experimental-platform-models
Language:C02
Examples
Language:Python00