Judith Clymo

According to our database, Judith Clymo authored at least 13 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

MACS: Multi-Agent Reinforcement Learning for Optimization of Crystal Structures.

Elena Zamaraeva, Christopher M. Collins, George R. Darling, Matthew S. Dyer, Bei Peng, Rahul Savani, Dmytro Antypov, Vladimir V. Gusev, Judith Clymo, Paul G. Spirakis, Matthew J. Rosseinsky

CoRR, June, 2025

2024

The Riis Complexity Gap for QBF Resolution.

Olaf Beyersdorff, Judith Clymo, Stefan S. Dantchev, Barnaby Martin

J. Satisf. Boolean Model. Comput., 2024

Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry.

Yoel Zimmermann, Adib Bazgir, Zartashia Afzal, Fariha Agbere, Qianxiang Ai, Nawaf Alampara, Alexander Al-Feghali, Mehrad Ansari, Dmytro Antypov, Amro Aswad, Jiaru Bai, Viktoriia Baibakova, Devi Dutta Biswajeet, Erik Bitzek, Joshua D. Bocarsly, Anna S. Borisova, Andres M. Bran, L. Catherine Brinson, Marcel Moran Calderon, Alessandro Canalicchio, Victor Chen, Yuan Chiang, Defne Circi, Benjamin Charmes, Vikrant Chaudhary, Zizhang Chen, Min-Hsueh Chiu, Judith Clymo, Kedar Dabhadkar, Nathan Daelman, Archit Datar, Matthew L. Evans, Maryam Ghazizade Fard, Giuseppe Fisicaro, Abhijeet Sadashiv Gangan, Janine George, Jose D. Cojal Gonzalez, Michael Götte, Ankur K. Gupta, Hassan Harb, Pengyu Hong, Abdelrahman Ibrahim, Ahmed Ilyas, Alishba Imran, Kevin Ishimwe, Ramsey Issa, Kevin Maik Jablonka, Colin Jones, Tyler R. Josephson, Greg Juhasz, Sarthak Kapoor, Rongda Kang, Ghazal Khalighinejad, Sartaaj Khan, Sascha Klawohn, Suneel Kuman, Alvin Noe Ladines, Sarom Leang, Magdalena Lederbauer, Sheng-Lun Mark Liao, Hao Liu, Xuefeng Liu, Stanley Lo, Sandeep Madireddy, Piyush Ranjan Maharana, Shagun Maheshwari, Soroush Mahjoubi, José A. Márquez, Rob Mills, Trupti Mohanty, Bernadette Mohr, Seyed Mohamad Moosavi, Alexander Moßhammer, Amirhossein D. Naghdi, Aakash Naik, Oleksandr Narykov, Hampus Näsström, Xuan Vu Nguyen, Xinyi Ni, Dana O'Connor, Teslim Olayiwola, Federico Ottomano, Aleyna Beste Ozhan, Sebastian Pagel, Chiku Parida, Jaehee Park, Vraj Patel, Elena Patyukova, Martin Hoffmann Petersen, Luis Pinto, José M. Pizarro, Dieter Plessers, Tapashree Pradhan, Utkarsh Pratiush, Charishma Puli, Andrew Qin, Mahyar Rajabi, Francesco Ricci, Elliot Risch, Martiño Ríos-García

CoRR, 2024

Hierarchical Supervised Monte Carlo Ensemble Learning.

Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko

Proceedings of the International Conference on Machine Learning and Applications, 2024

The Theory of Probabilistic Hierarchical Supervised Ensemble Learning.

Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko

Proceedings of the International Conference on Machine Learning and Applications, 2024

2022

KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge.

Suk Joon Hong, Brandon Bennett, Judith Clymo, Lucía Gómez Álvarez

Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), 2022

2020

Proof complexity for quantified Boolean formulas

Judith Clymo

PhD thesis, 2020

Data Generation for Neural Programming by Example.

Judith Clymo, Adrià Gascón, Brooks Paige, Nathanaël Fijalkow, Haik Manukian

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

How QBF Expansion Makes Strategy Extraction Hard.

Leroy Chew, Judith Clymo

Electron. Colloquium Comput. Complex., 2019

The Equivalences of Refutational QRAT.

Leroy Chew, Judith Clymo

Electron. Colloquium Comput. Complex., 2019

2018

Relating size and width in variants of Q-resolution.

Judith Clymo, Olaf Beyersdorff

Inf. Process. Lett., 2018

Short Proofs in QBF Expansion.

Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan

Electron. Colloquium Comput. Complex., 2018

More on Size and Width in QBF Resolution.

Olaf Beyersdorff, Judith Clymo

Electron. Colloquium Comput. Complex., 2018