Judith Clymo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2019–2024
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICMLA | 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 |
| 2024 | ICMLA | Hierarchical Supervised Monte Carlo Ensemble Learning. | Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko |
| 2020 | AISTATS | Data Generation for Neural Programming by Example. | Judith Clymo, Adri Gascn, Brooks Paige, Nathanal Fijalkow, Haik Manukian |
| 2020 | CADE | How QBF Expansion Makes Strategy Extraction Hard. | Leroy Chew, Judith Clymo |
| 2019 | SAT | Short Proofs in QBF Expansion. | Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan |
| 2019 | SAT | The Equivalences of Refutational QRAT. | Leroy Chew, Judith Clymo |