저자는 두 명제 간의 모순을 감지하는 추론 시스템의 연구 설계를 제안합니다. 이는 직접적인 LLM 판단에 의존하는 대신, 명제를 더 작은 구성 요소로 분해하고 논리적 충돌을 검색함으로써 수행됩니다.

  • 시스템은 제한된 생성 예산 하에서 효율성을 향상시키기 위해 확률적 탐색과 형식적 검증을 분리합니다.
  • 명제 식별은 함의 관계를 사용하여 다른 논리 구조에 걸쳐 해당 콘텐츠를 매핑합니다.
  • 충돌 탐색 전략은 방향 없는 탐색보다 더 효율적으로 동일한 주제의 긍정형과 부정형을 찾는 것을 목표로 합니다.
  • 초기 구현은 명제 논리를 대상으로 하며, CONTRADICTION, CONSISTENT 또는 UNKNOWN을 출력합니다.

저자는 이 가설을 구현하거나 테스트하는 데 도움을 줄 논의, 비판, 대안 접근법 및 협력자를 찾고 있습니다.