Judith Clymo

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 12

Top Topics

Data Generation

Machine Learning Approaches

Quantified Boolean Formulae

Theorem Proving

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Suk Joon Hong, Brandon Bennett, Judith Clymo, Lucía Gómez Álvarez
KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge. AAAI Spring Symposium: MAKE (2022)
Judith Clymo, Adrià Gascón, Brooks Paige, Nathanaël Fijalkow, Haik Manukian
Data Generation for Neural Programming by Example. AISTATS (2020)
Leroy Chew, Judith Clymo
How QBF Expansion Makes Strategy Extraction Hard. IJCAR (1) (2020)
Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan
Short Proofs in QBF Expansion. SAT (2019)
Judith Clymo, Haik Manukian, Nathanaël Fijalkow, Adrià Gascón, Brooks Paige
Data Generation for Neural Programming by Example. CoRR (2019)
Leroy Chew, Judith Clymo
The Equivalences of Refutational QRAT. Electron. Colloquium Comput. Complex. 26 (2019)
Leroy Chew, Judith Clymo
The Equivalences of Refutational QRAT. SAT (2019)
Leroy Chew, Judith Clymo
How QBF Expansion Makes Strategy Extraction Hard. Electron. Colloquium Comput. Complex. 26 (2019)
Olaf Beyersdorff, Judith Clymo
More on Size and Width in QBF Resolution. Electron. Colloquium Comput. Complex. 25 (2018)
Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan
Short Proofs in QBF Expansion. Electron. Colloquium Comput. Complex. 25 (2018)
Olaf Beyersdorff, Judith Clymo, Stefan S. Dantchev, Barnaby Martin
The Riis Complexity Gap for QBF Resolution. Electron. Colloquium Comput. Complex. 25 (2018)
Judith Clymo, Olaf Beyersdorff
Relating size and width in variants of Q-resolution. Inf. Process. Lett. 138 (2018)