Could you recommend some lectures/reads about the use of formal methods in LLMs, I'm interested in the area.