1. _wrong refutation_: the LLM wrongly claims that the conclusion can not be proved;
2. _rule hallucination_: the LLM generates rules that do not exist in the problem;
3. _fact hallucination_: the LLM generates facts that do not exist in the problem and are unproven.
1. 잘못된 반박_: LLM이 결론을 증명할 수 없다고 잘못 주장합니다;
2. _rule hallucination_: LLM이 문제에 존재하지 않는 규칙을 생성합니다;
3. _fact hallucination_: LLM이 문제에 존재하지 않고 증명되지 않은 사실을 생성합니다.
1. 잘못된 반박_: LLM이 결론을 증명할 수 없다고 잘못 주장합니다;
2. _규칙 환각_: LLM이 문제에 존재하지 않는 규칙을 생성합니다;
3. _사실 환각_: LLM이 문제에 존재하지 않고 증명되지 않은 사실을 생성합니다.