| Neural Citation Recommendation: A Reproducibility Study. | 0 | 0.34 | 2020 |
| Making Neural Networks FAIR. | 0 | 0.34 | 2020 |
| Machine Learning Guidance and Proof Certification for Connection Tableaux. | 0 | 0.34 | 2018 |
| No Choice: Reconstruction of First-order ATP Proofs without Skolem Functions. | 1 | 0.35 | 2016 |
| Channel capacity comparison of different system concepts for mmWave | 0 | 0.34 | 2016 |
| Metis-based Paramodulation Tactic for HOL Light. | 0 | 0.34 | 2015 |
