Nothing particularly interesting to my knowledge. You should read this though, some people at Symbolica AI worked on it too: https://www.google.com/url?q=https://arxiv.org/abs/2402.1533...