LLMs versus the Halting Problem: Revisiting Program Termination Prediction
LLMs versus the Halting Problem: Revisiting Program Termination Prediction explores Exploring LLMs for predicting program termination, with insights on their performance and limitations.. Commercial viability score: 3/10 in Program Verification.
BUILDER'S SANDBOX
Build This Paper
Use an AI coding agent to implement this research.
OpenAI CodexAI Agent
Lightweight coding agent in your terminal.
Claude CodeAI Agent
Agentic coding tool for terminal workflows.
AntiGravity IDEScaffolding
AI agent mindset installer and workflow scaffolder.
CursorIDE
AI-first code editor built on VS Code.
VS CodeIDE
Free, open-source editor by Microsoft.
Recommended Stack
Startup Essentials
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.
Related Papers
- Builds On ThisWhen Stability Fails: Hidden Failure Modes Of LLMS in Data-Constrained Scientific Decision-MakingViability: 2.0
- Prior WorkLanguage Model Planners do not Scale, but do Formalizers?Viability: 3.0
- Prior WorkEvaluating Large Language Models on Solved and Unsolved Problems in Graph Theory: Implications for Computing EducationViability: 3.0
- Higher ViabilityEven GPT-5.2 Can't Count to Five: The Case for Zero-Error Horizons in Trustworthy LLMsViability: 5.0
- Higher ViabilityLLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops