1. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for math by corpus analysis and kernel methods. JAR 52(2), 191–213 (2014)
2. Alemi, A.A., Chollet, F., Eén, N., Irving, G., Szegedy, C., Urban, J.: DeepMath - deep sequence models for premise selection. In: NIPS 2016, pp. 2235–2243 (2016)
3. Allamanis, M., Chanthirasegaran, P., Kohli, P., Sutton, C.: Learning continuous semantic representations of symbolic expressions. In: ICML 2017, volume 70 of Proceedings of Machine Learning Research, pp. 80–88. PMLR (2017)
4. Aygün, E., et al.: Proving theorems using incremental learning and hindsight experience replay. In: ICML 2022, vol. 162, pp. 1198–1210 (2022)
5. Balunovic, M., Bielik, P., Vechev, M.T.: Learning to solve SMT formulas. In: NeurIPS, pp. 10338–10349 (2018)