| Data generation for neural programming by example J Clymo, H Manukian, N Fijalkow, A Gascón, B Paige International Conference on Artificial Intelligence and Statistics, 3450-3459, 2020 | 15 | 2020 |
| Reflections from the 2024 large language model (llm) hackathon for applications in materials science and chemistry Y Zimmermann, A Bazgir, Z Afzal, F Agbere, Q Ai, N Alampara, ... arXiv preprint arXiv:2411.15221, 2024 | 12 | 2024 |
| Short proofs in QBF expansion O Beyersdorff, L Chew, J Clymo, M Mahajan International Conference on Theory and Applications of Satisfiability …, 2019 | 9 | 2019 |
| How QBF expansion makes strategy extraction hard L Chew, J Clymo International Joint Conference on Automated Reasoning, 66-82, 2020 | 8 | 2020 |
| Relating size and width in variants of Q-resolution J Clymo, O Beyersdorff Information Processing Letters 138, 1-6, 2018 | 8 | 2018 |
| Exploration of chemical space through automated reasoning J Clymo, CM Collins, K Atkinson, MS Dyer, MW Gaultois, VV Gusev, ... Angewandte Chemie 137 (6), e202417657, 2025 | 7 | 2025 |
| The equivalences of refutational QRAT L Chew, J Clymo International Conference on Theory and Applications of Satisfiability …, 2019 | 7 | 2019 |
| The theory of probabilistic hierarchical supervised ensemble learning Z Ursani, D Antypov, K Atkinson, J Clymo, M Dyer, M Rosseinsky, ... 2024 International Conference on Machine Learning and Applications (ICMLA …, 2024 | 4 | 2024 |
| Hierarchical Supervised Monte Carlo Ensemble Learning Z Ursani, D Antypov, K Atkinson, J Clymo, M Dyer, M Rosseinsky, ... 2024 International Conference on Machine Learning and Applications (ICMLA …, 2024 | 3 | 2024 |
| Proof Complexity for Quantified Boolean Formulas JC Clymo University of Leeds, 2021 | 3 | 2021 |
| KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge. SJ Hong, B Bennett, J Clymo, LG Álvarez AAAI Spring Symposium: MAKE, 2022 | 2 | 2022 |
| MACS: Multi-Agent Reinforcement Learning for Optimization of Crystal Structures E Zamaraeva, CM Collins, GR Darling, MS Dyer, B Peng, R Savani, ... arXiv preprint arXiv:2506.04195, 2025 | 1 | 2025 |
| More on Size and Width in QBF Resolution. O Beyersdorff, J Clymo Electronic Colloquium on Computational Complexity (ECCC) 25, 25, 2018 | 1 | 2018 |
| UCSC NLP T6 at SemEval-2025 Task 1: Leveraging LLMs and VLMs for idiomatic understanding J Clymo, A Zernik, S Gaur Proceedings of the 19th International Workshop on Semantic Evaluation …, 2025 | | 2025 |
| Topology Augmented with Geometry in the Assembly of Structural Databases: Kagome Intermetallics NL Gulay, D Wen, JE Griffiths, J Clymo, LM Daniels, J Alaria, MS Dyer, ... Advanced Science, e17041, 2025 | | 2025 |
| The Riis Complexity Gap for QBF Resolution O Beyersdorff, J Clymo, S Dantchev, B Martin Journal on Satisfiability, Boolean Modelling and Computation 15 (1), 9-25, 2024 | | 2024 |
