View PDF ↗
PDF Viewer
Open Full PDF

BUILDER'S SANDBOX

Build This Paper

Use an AI coding agent to implement this research.

OpenAI Codex
OpenAI CodexAI Agent

Lightweight coding agent in your terminal.

Claude Code
Claude CodeAI Agent

Agentic coding tool for terminal workflows.

AntiGravity IDE
AntiGravity IDEScaffolding

AI agent mindset installer and workflow scaffolder.

Cursor
CursorIDE

AI-first code editor built on VS Code.

VS Code
VS CodeIDE

Free, open-source editor by Microsoft.

Estimated $9K - $13K over 6-10 weeks.

See exactly what it costs to build this -- with 3 comparable funded startups.

7-day free trial. Cancel anytime.

Discover the researchers behind this paper and find similar experts.

7-day free trial. Cancel anytime.

References (43)

[1]
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
2025Timo Pierre Schrader, Lukas Lange et al.
[2]
RiddleBench: A New Generative Reasoning Benchmark for LLMs
2025Deepon Halder, Alan Saji et al.
[3]
HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games
2025Jingcong Liang, Shijun Wan et al.
[4]
A Survey of Process Reward Models: From Outcome Signals to Process Supervisions for Large Language Models
2025Congmin Zheng, Jiachen Zhu et al.
[5]
JudgeAgent: Beyond Static Benchmarks for Knowledge-Driven and Dynamic LLM Evaluation
2025Zhichao Shi, Xuhui Jiang et al.
[6]
Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
2025Jiangjie Chen, Qianyu He et al.
[7]
Sudoku-Bench: Evaluating creative reasoning with Sudoku variants
2025Jeffrey Seely, Yuki Imajuku et al.
[8]
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
2025Anjiang Wei, Yuheng Wu et al.
[9]
PuzzleBench: A Fully Dynamic Evaluation Framework for Large Multimodal Models on Puzzle Solving
2025Zeyu Zhang, Zijian Chen et al.
[10]
FINEREASON: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving
2025Guizhen Chen, Weiwen Xu et al.
[11]
ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
2025Bill Yuchen Lin, Ronan Le Bras et al.
[12]
The Lessons of Developing Process Reward Models in Mathematical Reasoning
2025Zhenru Zhang, Chujie Zheng et al.
[13]
DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
2025Adam Suma, Sam Dauncey
[14]
The Berkeley Function Calling Leaderboard (BFCL): From Tool Use to Agentic Evaluation of Large Language Models
2025Shishir G. Patil, Huanzhi Mao et al.
[15]
TheAgentCompany: Benchmarking LLM Agents on Consequential Real World Tasks
2024Frank F. Xu, Yufan Song et al.
[16]
Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
2024Nemika Tyagi, Mihir Parmar et al.
[17]
τ-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains
2024Shunyu Yao, Noah Shinn et al.
[18]
Benchmark Data Contamination of Large Language Models: A Survey
2024Cheng Xu, Shuhao Guan et al.
[19]
Benchmarking Benchmark Leakage in Large Language Models
2024Ruijie Xu, Zengzhi Wang et al.
[20]
Puzzle Solving using Reasoning of Large Language Models: A Survey
2024Panagiotis Giadikiaroglou, Maria Lymperaiou et al.

Showing 20 of 43 references

Founder's Pitch

"A framework for evaluating LLM reasoning via pencil puzzles, providing deterministic, step-level verification to enhance model reasoning capabilities."

AI BenchmarksScore: 5View PDF ↗

Commercial Viability Breakdown

0-10 scale

High Potential

1/4 signals

2.5

Quick Build

3/4 signals

7.5

Series A Potential

1/4 signals

2.5

Sources used for this analysis

arXiv Paper

Full-text PDF analysis of the research paper

GitHub Repository

Code availability, stars, and contributor activity

Citation Network

Semantic Scholar citations and co-citation patterns

Community Predictions

Crowd-sourced unicorn probability assessments

Analysis model: GPT-4o · Last scored: 3/2/2026

Explore the full citation network and related research.

7-day free trial. Cancel anytime.

Understand the commercial significance and market impact.

7-day free trial. Cancel anytime.

Get detailed profiles of the research team.

7-day free trial. Cancel anytime.