Bill Shao's repositories
rl-from-ltl
IJCAI 2023 Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
Language:Python000
ocr-robustness
Robustness Guarantees on Deep Neural Networks for Optical Character Recognition
Language:Python000
Transformer
An implementation of the Transformer