Related papers: Liberating Logic in the Age of AI: Going Beyond Programming with Computational Thinking

Liberating Logic in the Age of AI: Going Beyond Programming with Computational Thinking

URL: http://arxiv.org/abs/2511.17696v1
Date: Fri, 21 Nov 2025 17:28:52 GMT
Title: Liberating Logic in the Age of AI: Going Beyond Programming with Computational Thinking
Authors: Douglas C. Schmidt, Dan Runfola,
Abstract summary: Advances in large language models (LLMs) and artificial intelligence (AI)-powered coding assistants are leading to the commoditization of computational thinking.<n>This paper explores the impact of natural language programming on software development, the emerging distinction between programmers and prompt-crafting problem solvers, and the reforms needed in computer science and data science curricula.
Score: 0.7734726150561086
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Mastering one or more programming languages has historically been the gateway to implementing ideas on a computer. Today, that gateway is widening with advances in large language models (LLMs) and artificial intelligence (AI)-powered coding assistants. What matters is no longer just fluency in traditional programming languages but the ability to think computationally by translating problems into forms that can be solved with computing tools. The capabilities enabled by these AI-augmented tools are rapidly leading to the commoditization of computational thinking, such that anyone who can articulate a problem in natural language can potentially harness computing power via AI. This shift is poised to radically influence how we teach computer science and data science in the United States and around the world. Educators and industry leaders are grappling with how to adapt: What should students learn when the hottest new programming language is English? How do we prepare a generation of computational thinkers who need not code every algorithm manually, but must still think critically, design solutions, and verify AI-augmented results? This paper explores these questions, examining the impact of natural language programming on software development, the emerging distinction between programmers and prompt-crafting problem solvers, the reforms needed in computer science and data science curricula, and the importance of maintaining our fundamental computational science principles in an AI-augmented future. Along the way, we compare approaches and share best practices for embracing this new paradigm in computing education.

Related papers

AI Agents as Universal Task Solvers [94.49762121230042]
We show that the optimal speed-up that a universal solver can achieve using past data is tightly related to their algorithmic information.<n>We argue that the key quantity to optimize when scaling reasoning models is time, whose critical role in learning has so far only been indirectly considered.
arXiv Detail & Related papers (2025-10-14T02:17:54Z)
Computer Science Education in the Age of Generative AI [1.2691047660244332]
Generative AI tools like ChatGPT and Codex are rapidly revolutionizing computer science education.<n>This paper examines the profound opportunities that AI offers for enhancing computer science education.<n>It highlights challenges including academic integrity concerns, the risk of over-reliance on AI, and difficulties in verifying originality.
arXiv Detail & Related papers (2025-07-02T22:28:45Z)
Beyond Statistical Learning: Exact Learning Is Essential for General Intelligence [59.07578850674114]
Sound deductive reasoning is an indisputably desirable aspect of general intelligence.<n>It is well-documented that even the most advanced frontier systems regularly and consistently falter on easily-solvable reasoning tasks.<n>We argue that their unsound behavior is a consequence of the statistical learning approach powering their development.
arXiv Detail & Related papers (2025-06-30T14:37:50Z)
Programming with AI: Evaluating ChatGPT, Gemini, AlphaCode, and GitHub Copilot for Programmers [0.0]
This study presents a thorough evaluation of leading programming assistants, including ChatGPT, Gemini(Bard AI), AlphaCode, and GitHub Copilot. It emphasizes the need for ethical developmental practices to actualize AI models' full potential.
arXiv Detail & Related papers (2024-11-14T06:40:55Z)
Prompts First, Finally [4.5022979431802925]
Generative AI (GenAI) and large language models in particular, are disrupting Computer Science Education. Some educators argue that they pose a serious threat to computing education, and that we should ban their use in the classroom. We argue that our programming abstractions were always headed here -- to natural language.
arXiv Detail & Related papers (2024-07-12T12:50:28Z)
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents [0.0]
Integration, composition, mechanization, and AI assisted development are the driving themes in the future of software development. This paper proposes a novel approach to this challenge -- instead of new language features or logical constructs, we propose radical simplification in the form of the Bosque platform and language.
arXiv Detail & Related papers (2024-07-08T19:50:42Z)
Redefining Computer Science Education: Code-Centric to Natural Language Programming with AI-Based No-Code Platforms [0.0]
This paper delves into the evolving relationship between humans and computers in the realm of programming. The advent of AI-based no-code platforms is revolutionizing this dynamic. As educators, it's imperative to integrate this new dynamic into curricula.
arXiv Detail & Related papers (2023-08-19T02:44:35Z)
Brain-inspired Computational Intelligence via Predictive Coding [73.42407863671565]
Predictive coding (PC) has shown promising properties that make it potentially valuable for the machine learning community.<n>PC-like algorithms are starting to be present in multiple sub-fields of machine learning and AI at large.
arXiv Detail & Related papers (2023-08-15T16:37:16Z)
Mathematics, word problems, common sense, and artificial intelligence [0.0]
We discuss the capacities and limitations of current artificial intelligence (AI) technology to solve word problems that combine elementary knowledge with commonsense reasoning. We review three approaches that have been developed, using AI natural language technology. We argue that it is not clear whether these kinds of limitations will be important in developing AI technology for pure mathematical research.
arXiv Detail & Related papers (2023-01-23T21:21:39Z)
Competition-Level Code Generation with AlphaCode [74.87216298566942]
We introduce AlphaCode, a system for code generation that can create novel solutions to problems that require deeper reasoning. In simulated evaluations on recent programming competitions on the Codeforces platform, AlphaCode achieved on average a ranking of top 54.3%.
arXiv Detail & Related papers (2022-02-08T23:16:31Z)
The MineRL BASALT Competition on Learning from Human Feedback [58.17897225617566]
The MineRL BASALT competition aims to spur forward research on this important class of techniques. We design a suite of four tasks in Minecraft for which we expect it will be hard to write down hardcoded reward functions. We provide a dataset of human demonstrations on each of the four tasks, as well as an imitation learning baseline.
arXiv Detail & Related papers (2021-07-05T12:18:17Z)
Empowering Things with Intelligence: A Survey of the Progress, Challenges, and Opportunities in Artificial Intelligence of Things [98.10037444792444]
We show how AI can empower the IoT to make it faster, smarter, greener, and safer. First, we present progress in AI research for IoT from four perspectives: perceiving, learning, reasoning, and behaving. Finally, we summarize some promising applications of AIoT that are likely to profoundly reshape our world.
arXiv Detail & Related papers (2020-11-17T13:14:28Z)

This list is automatically generated from the titles and abstracts of the papers in this site.