Tom Melham
Professor Tom Melham FRSE
Themes:
Completed Projects:
See Also:
Selected Publications
-
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.
Details about DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning | BibTeX data for DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
-
Automated decision−making in the public sector
Rebecca Williams and Thomas Melham
In Practical Law Public Sector. December, 2020.
Resource ID w 028 6934
Details about Automated decision−making in the public sector | BibTeX data for Automated decision−making in the public sector | Download (pdf) of Automated decision−making in the public sector
-
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.
Details about Recalibrating classifiers for interpretable abusive content detection | BibTeX data for Recalibrating classifiers for interpretable abusive content detection | DOI (10.18653/v1/2020.nlpcss-1.14) | Link to Recalibrating classifiers for interpretable abusive content detection
Activities
Projects
Completed Projects
- Model Checking Partially Ordered State Spaces
- Verified Communication Protocols for Multicore/SoC Architectures
- Metacomputation