5 ms·Is it possible to reason or prove the correctness of an LLM?by 9029 4mo agoIs it possible to reason or prove the correctness of an LLM?