More on Size and Width in QBF Resolution. - Olaf Beyersdorff; Judith Clymo (Electron. Colloquium Comput. Complex., 2018)

Short Proofs in QBF Expansion. - Olaf Beyersdorff; Leroy Chew; Judith Clymo; Meena Mahajan (Electron. Colloquium Comput. Complex., 2018)

Relating size and width in variants of Q-resolution. - Judith Clymo; Olaf Beyersdorff (Inf. Process. Lett., 2018)

The Equivalences of Refutational QRAT. - Leroy Chew; Judith Clymo (Electron. Colloquium Comput. Complex., 2019)

How QBF Expansion Makes Strategy Extraction Hard. - Leroy Chew; Judith Clymo (Electron. Colloquium Comput. Complex., 2019)

Data Generation for Neural Programming by Example. - Judith Clymo; Adrià Gascón; Brooks Paige; Nathanaël Fijalkow; Haik Manukian (AISTATS, 2020)

Proof complexity for quantified Boolean formulas - Judith Clymo (2020)

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 (AAAI Spring Symposium: MAKE, 2022)

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 (ICMLA, 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 (ICMLA, 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; et al. (CoRR, 2024)

The Riis Complexity Gap for QBF Resolution. - Olaf Beyersdorff; Judith Clymo; Stefan S. Dantchev; Barnaby Martin (J. Satisf. Boolean Model. Comput., 2024)

MACS: Multi-Agent Reinforcement Learning for Optimization of Crystal Structures. - Elena Zamaraeva; Christopher M. Collins 003; George R. Darling; Matthew S. Dyer; Bei Peng; Rahul Savani; Dmytro Antypov; Vladimir V. Gusev; Judith Clymo; Paul G. Spirakis; Matthew J. Rosseinsky (CoRR, 2025)