I think LLMs can transform between precise and imprecise languages. So it's useful to have a library that helps and the input or output be precise, when that i

I think LLMs can transform between precise and imprecise languages. So it's useful to have a library that helps and the input or output be precise, when that is what the task involves.