Pinned Repositories
caffe2
Caffe2 is a lightweight, modular, and scalable deep learning framework.
CATER
CATER: A diagnostic dataset for Compositional Actions and TEmporal Reasoning
Compositional-Reasoning
EdenOS
Cyber Final Project
mmaction2
OpenMMLab's Next Generation Action Understanding Toolbox and Benchmark
PV-Final-Project
QDMR-Parsing-RMLM-GAN
flyvy
An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness properties, including safety and liveness.
edenfrenkel's Repositories
edenfrenkel/caffe2
Caffe2 is a lightweight, modular, and scalable deep learning framework.
edenfrenkel/CATER
CATER: A diagnostic dataset for Compositional Actions and TEmporal Reasoning
edenfrenkel/Compositional-Reasoning
edenfrenkel/EdenOS
Cyber Final Project
edenfrenkel/mmaction2
OpenMMLab's Next Generation Action Understanding Toolbox and Benchmark
edenfrenkel/PV-Final-Project
edenfrenkel/QDMR-Parsing-RMLM-GAN