Popular repositories Loading

1. TimeSeriesClassification TimeSeriesClassification Public

   LSTM, classification, vehicle behavior recognition, attention mechanism

   Python 3

2. LTL2BA LTL2BA Public

   This project aims to transform LTL negtive normal formals to buchi automata

   Python 2

3. chatting_cleaner chatting_cleaner Public

   This is an system that make the chatting information more civilized by filtering some specific rude language. This version is based on the android system.

   Java 1 1

4. teleJarvis teleJarvis Public

   it's a bot called Jarvis inspired by Marvel iron man , using telegram bot api to realize it.

   Python 1

5. AI-safety AI-safety Public

   store some learning material about AI safety

   1 1

6. smc_rnn smc_rnn Public

   use abstract model to mimic rnn, aiming to help us find adversarial examples, handle robustness problem of rnn. Use statistical model checking to verify properties on probabilistic abstract model o…

   1