Ex machina: Personal attacks seen at scale E Wulczyn, N Thain, L Dixon Proceedings of the 26th international conference on world wide web, 1391-1399, 2017 | 584 | 2017 |
Measuring and mitigating unintended bias in text classification L Dixon, J Li, J Sorensen, N Thain, L Vasserman Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 67-73, 2018 | 388 | 2018 |
Nuanced metrics for measuring unintended bias with real data for text classification D Borkan, L Dixon, J Sorensen, N Thain, L Vasserman Companion proceedings of the 2019 world wide web conference, 491-500, 2019 | 165 | 2019 |
Conversations gone awry: Detecting early signs of conversational failure J Zhang, JP Chang, C Danescu-Niculescu-Mizil, L Dixon, Y Hua, N Thain, ... arXiv preprint arXiv:1805.05345, 2018 | 133 | 2018 |
IsaPlanner: A prototype proof planner in Isabelle L Dixon, J Fleuriot International Conference on Automated Deduction, 279-283, 2003 | 121 | 2003 |
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of automated reasoning 47 (3), 251-289, 2011 | 93 | 2011 |
Open-graphs and monoidal theories L Dixon, A Kissinger Mathematical Structures in Computer Science 23 (2), 308-359, 2013 | 59 | 2013 |
Higher Order Rippling in IsaPlanner L Dixon, J Fleuriot International Conference on Theorem Proving in Higher Order Logics, 83-98, 2004 | 48 | 2004 |
Scheme-based theorem discovery and concept invention O Montano-Rivas, R McCasland, L Dixon, A Bundy Expert systems with applications 39 (2), 1637-1646, 2012 | 43 | 2012 |
Toxicity detection: Does context really matter? J Pavlopoulos, J Sorensen, L Dixon, N Thain, I Androutsopoulos arXiv preprint arXiv:2006.00998, 2020 | 42 | 2020 |
Crowdsourcing subjective tasks: the case study of understanding toxicity in online discussions L Aroyo, L Dixon, N Thain, O Redfield, R Rosen Companion proceedings of the 2019 world wide web conference, 1100-1105, 2019 | 42 | 2019 |
Constructing induction rules for deductive synthesis proofs A Bundy, L Dixon, J Gow, J Fleuriot Electronic Notes in Theoretical Computer Science 153 (1), 3-21, 2006 | 41 | 2006 |
Graphical reasoning in compact closed categories for quantum computation L Dixon, R Duncan Annals of Mathematics and Artificial Intelligence 56 (1), 23-42, 2009 | 38 | 2009 |
A proof planning framework for Isabelle L Dixon University of Edinburgh. College of Science and Engineering. School of …, 2006 | 36 | 2006 |
Convai at semeval-2019 task 6: Offensive language identification and categorization with perspective and bert J Pavlopoulos, N Thain, L Dixon, I Androutsopoulos Proceedings of the 13th international Workshop on Semantic Evaluation, 571-576, 2019 | 35 | 2019 |
Towards formal proof script refactoring I Whiteside, D Aspinall, L Dixon, G Grov International Conference on Intelligent Computer Mathematics, 260-275, 2011 | 33 | 2011 |
Quantomatic A Kissinger, A Merry, L Dixon, R Duncan, M Soloviev, B Frot, D Quick, ... Software available on-line at http://sites. google. com/site/quantomatic, 2011 | 33 | 2011 |
Network traffic obfuscation and automated internet censorship L Dixon, T Ristenpart, T Shrimpton IEEE Security & Privacy 14 (6), 43-53, 2016 | 31 | 2016 |
Case-analysis for rippling and inductive proof M Johansson, L Dixon, A Bundy International Conference on Interactive Theorem Proving, 291-306, 2010 | 31 | 2010 |
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings J Carette, L Dixon, CS Coen, S Watt Springer Science & Business Media, 2009 | 29* | 2009 |