Very cool! We developed similar technologies for a very different domain (insurance automation). Side note: I also think that weaving logical inference and llm

Very cool! We developed similar technologies for a very different domain (insurance automation). Side note: I also think that weaving logical inference and llms together into a virtuous cycle is an interesting topic to explore.