"Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition"

Link: arxiv.org/pdf/2304.12154v1 (https://arxiv.org/pdf/2304.12154v1)

https://nitter.moomoo.me/ArXivGPT/status/1650994815746854912#m