1. Ali, S., Abuhmed, T., El-Sappagh, S., Muhammad, K., Alonso-Moral, J.M., Confalonieri, R., Guidotti, R., Del Ser, J., Díaz-Rodríguez, N., Herrera, F.: Explainable Artificial Intelligence (XAI): What we know and what is left to attain Trustworthy Artificial Intelligence. Information Fusion 99, 101805 (2023). https://doi.org/10.1016/j.inffus.2023.101805
2. Anderson, G., Verma, A., Dillig, I., Chaudhuri, S.: Neurosymbolic Reinforcement Learning with Formally Verified Exploration. In: Advances in Neural Information Processing Systems. vol. 33, pp. 6172–6183. Curran Associates, Inc. (2020)
3. Bastani, O., Pu, Y., Solar-Lezama, A.: Verifiable Reinforcement Learning via Policy Extraction. In: Advances in Neural Information Processing Systems. vol. 31. Curran Associates, Inc. (2018)
4. Bengio, Y., Louradour, J., Collobert, R., Weston, J.: Curriculum learning. In: Proceedings of the 26th Annual International Conference on Machine Learning. pp. 41–48. ICML ’09, Association for Computing Machinery, New York, NY, USA (Jun 2009) https://doi.org/10.1145/1553374.1553380, https://dl.acm.org/doi/10.1145/1553374.1553380
5. Bowers, M., Olausson, T.X., Wong, L., Grand, G., Tenenbaum, J.B., Ellis, K., Solar-Lezama, A.: Top-Down Synthesis for Library Learning. Proceedings of the ACM on Programming Languages 7(POPL), 1182–1213 (Jan 2023) https://doi.org/10.1145/3571234