Fast Analysis of the OpenAI O1-Preview Model in Solving Random K-SAT Problem: Does the LLM Solve the Problem Itself or Call an External SAT Solver?

17 September 2024

Raffaele Marino

Papers citing "Fast Analysis of the OpenAI O1-Preview Model in Solving Random K-SAT Problem: Does the LLM Solve the Problem Itself or Call an External SAT Solver?"

2 / 2 papers shown

Title
PEA: Enhancing LLM Performance on Computational-Reasoning Tasks Zi Wang Shiwei Weng Mohannad J. Alhanahnah S. Jha Tom Reps LRM ReLM 46 0 0 16 Feb 2025
System 2 Reasoning via Generality and Adaptation Sejin Kim Sundong Kim LRM AI4CE 65 0 0 10 Oct 2024