Pinned Loading

1. Automated-Theorem-Proving-With-LSTM-Networks Automated-Theorem-Proving-With-LSTM-Networks Public

   Using LSTM generators to Prove Theorems in Predicate Logic.

   Python 1

2. Attention-Restricted-STN Attention-Restricted-STN Public

   A Module that implements Spacial Transformer Networks with Attention Restriction. Plus Custom PyTorch Train/DataSet Implementations.

   Python

3. Greedy-MCTS-with-RAVE-for-k-NIM Greedy-MCTS-with-RAVE-for-k-NIM Public

   Applying Greedy Monte Carlo Tree search (MCTS) with Rapid Action Value Estimation (RAVE) to uncover optimal strategies in k-NIM when k = 2.

   Jupyter Notebook

4. Differential-Game-Theory-for-SIR-Models Differential-Game-Theory-for-SIR-Models Public

   We Apply Differential Game Theory to Model Epidemics

   R