DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Mohammadhosein Hasanbeig‚ Natasha Yogananda Jeppu‚ Alessandro Abate‚ Tom Melham and Daniel Kroening
In The Thirty−Fifth AAAI Conference on Artificial Intelligence‚ AAAI 2021‚ February 2–9‚ 2021. AAAI Press. 2021.
Automated decision−making in the public sector
Rebecca Williams and Thomas Melham
In Practical Law Public Sector. December, 2020.
Resource ID w 028 6934
Recalibrating classifiers for interpretable abusive content detection
Bertie Vidgen‚ Sam Staton‚ Scott Hale‚ Ohad Kammar‚ Helen Margetts‚ Tom Melham and Marcin Szymczak
In Proceedings of the Fourth Workshop on Natural Language Processing and Computational Social Science. Pages 132–138. Association for Computational Linguistics. November, 2020.
- Model Checking Partially Ordered State Spaces
- Verified Communication Protocols for Multicore/SoC Architectures