List your company

Symbolic Reasoning on Coin

100AccuracyMeta-Reasoning Paradigm
39.6855.347186.66Jun 30, 2023Dec 12, 2023May 26, 2024Nov 8, 2024Apr 22, 2025Oct 5, 2025Mar 20, 2026

Evaluation results

MethodLinks
Meta-Reasoning ParadigmModel=175B GPT-3 (text-davinci-002), Evaluation Protocol=Few-Shot2023.06100
Meta-Reasoning ParadigmModel=175B GPT-3 (text-davinci-003), Evaluation Protocol=Few-Shot2023.06100
Meta-Reasoning ParadigmModel=ChatGPT (GPT-3.5-Turbo), Evaluation Protocol=Few-Shot2023.06100
Chain-of-Thought ParadigmModel=175B GPT-3 (text-davinci-003), Evaluation Protocol=Few-Shot2023.0699.6
Chain-of-Thought ParadigmModel=ChatGPT (GPT-3.5-Turbo), Evaluation Protocol=Few-Shot2023.0699.2
Chain-of-Thought ParadigmModel=175B GPT-3 (text-davinci-002), Evaluation Protocol=Few-Shot2023.0697.2
Chain-of-Thought ParadigmModel=175B GPT-3 (text-davinci-003), Evaluation Protocol=Zero-Shot2023.0696.8
Chain-of-Thought ParadigmModel=ChatGPT (GPT-3.5-Turbo), Evaluation Protocol=Zero-Shot2023.0696.4
Chain-of-Thought ParadigmModel=175B GPT-3 (text-davinci-002), Evaluation Protocol=Zero-Shot2023.0691.4
Reflexion(3 iters)Model=GPT-3.5, Verification Setting=Oracle2026.0388.25
RM-RegenModel=GPT-3.5, Verification Setting=Oracle2026.0385.75
RM-RegenModel=Llama3.1-8B, Verification Setting=Oracle2026.0385.75
Reflexion(3 iters)Model=Llama3.1-8B, Verification Setting=Oracle2026.0381.25
RM-RegenBase Model=GPT-3.52026.0378.5
RM-RegenModel=Gemma2-9B, Verification Setting=Oracle2026.0378.25
RM-RegenBase Model=Llama 3.1-8B2026.0377.75
Best-of-N (N=3)Model=GPT-3.5, Verification Setting=Oracle2026.0377
ST CoTBase Model=GPT-3.5, Iterations=22026.0375.5
ProCoBase Model=GPT-3.5, Iterations=32026.0375.25
ST CoTBase Model=GPT-3.5, Iterations=32026.0375
ST CoTBase Model=GPT-3.5, Iterations=42026.0374.5
ProCoBase Model=GPT-3.5, Iterations=42026.0373.75
ProCoBase Model=GPT-3.5, Iterations=22026.0373
Best-of-N (N=3)Model=Llama3.1-8B, Verification Setting=Oracle2026.0372
Self-RefineBase Model=GPT-3.5, Iterations=42026.0369.75
ST CoTBase Model=Llama 3.1-8B, Iterations=22026.0369.5
ST CoTBase Model=Llama 3.1-8B, Iterations=32026.0369.25
Self-RefineBase Model=GPT-3.5, Iterations=32026.0368.25
ST CoTBase Model=Llama 3.1-8B, Iterations=42026.0367.75
ReflectEvoModel=Llama3.1-8B, Verification Setting=Oracle2026.0367.75
Self-RefineBase Model=GPT-3.5, Iterations=22026.0367.25
Self-RefineBase Model=Llama 3.1-8B, Iterations=22026.0367.25
ReflectEvoModel=Gemma2-9B, Verification Setting=Oracle2026.0367.25
Self-RefineBase Model=Llama 3.1-8B, Iterations=32026.0366
Self-RefineBase Model=Llama 3.1-8B, Iterations=52026.0366
ST CoTBase Model=Llama 3.1-8B, Iterations=52026.0365.5
Self-RefineBase Model=Llama 3.1-8B, Iterations=42026.0364.25
Reflexion(3 iters)Model=Gemma2-9B, Verification Setting=Oracle2026.0360
Standard Prompting ParadigmModel=175B GPT-3 (text-davinci-002), Evaluation Protocol=Few-Shot2023.0657.2
Standard Prompting ParadigmModel=175B GPT-3 (text-davinci-002), Evaluation Protocol=Zero-Shot2023.0653.8
Best-of-N (N=3)Model=Gemma2-9B, Verification Setting=Oracle2026.0349
ProCoBase Model=Llama 3.1-8B, Iterations=42026.0348
ProCoBase Model=Llama 3.1-8B, Iterations=52026.0344.75
ProCoBase Model=Llama 3.1-8B, Iterations=32026.0344
ProCoBase Model=Llama 3.1-8B, Iterations=22026.0342