Judith Clymo

19 papers A 3C 2Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Spelling Bee Embeddings for Language Modeling.
CoRR
Markus N. Rabe, Judith Clymo, Zheren Dong
2025 J jnl
MACS: Multi-Agent Reinforcement Learning for Optimization of Crystal Structures.
CoRR
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
2024 C conf
Hierarchical Supervised Monte Carlo Ensemble Learning.
ICMLA
Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko
2024 J jnl
Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry.
CoRR
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
2024 J jnl
The Riis Complexity Gap for QBF Resolution.
J. Satisf. Boolean Model. Comput.
Olaf Beyersdorff, Judith Clymo, Stefan S. Dantchev, Barnaby Martin
2024 C conf
The Theory of Probabilistic Hierarchical Supervised Ensemble Learning.
ICMLA
Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko
2022 — conf
KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge.
AAAI Spring Symposium: MAKE
Suk Joon Hong, Brandon Bennett, Judith Clymo, Lucía Gómez Álvarez
2020 A conf
Data Generation for Neural Programming by Example.
AISTATS
Judith Clymo, Adrià Gascón, Brooks Paige, Nathanaël Fijalkow, Haik Manukian
2020 — conf
How QBF Expansion Makes Strategy Extraction Hard.
IJCAR (1)
Leroy Chew, Judith Clymo
2020 — —
Proof complexity for quantified Boolean formulas
Judith Clymo
2019 J jnl
Data Generation for Neural Programming by Example.
CoRR
Judith Clymo, Haik Manukian, Nathanaël Fijalkow, Adrià Gascón, Brooks Paige
2019 J jnl
How QBF Expansion Makes Strategy Extraction Hard.
Electron. Colloquium Comput. Complex.
Leroy Chew, Judith Clymo
2019 A conf
Short Proofs in QBF Expansion.
SAT
Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan
2019 A conf
The Equivalences of Refutational QRAT.
SAT
Leroy Chew, Judith Clymo
2019 J jnl
The Equivalences of Refutational QRAT.
Electron. Colloquium Comput. Complex.
Leroy Chew, Judith Clymo
2018 J jnl
More on Size and Width in QBF Resolution.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Judith Clymo
2018 J jnl
Relating size and width in variants of Q-resolution.
Inf. Process. Lett.
Judith Clymo, Olaf Beyersdorff
2018 J jnl
Short Proofs in QBF Expansion.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan
2018 J jnl
The Riis Complexity Gap for QBF Resolution.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Judith Clymo, Stefan S. Dantchev, Barnaby Martin