Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
NeurIPSSpotlight2025
TL;DR
Large Language Models (LLMs), such as OpenAI’s o1 and DeepSeek’s R1, excel at advanced reasoning tasks like math and coding via Reinforcement Learning with Verifiable Rewards (RLVR), but still struggl…
Opening excerpt from the authors’ abstract. source
Read the paper
Topics
reinforcement learning large language model language model reasoning llm
← All NeurIPS 2025 Spotlight papers · Browse the whole archive