PhilArchive
open access
Large language models and the relative roles of formal and natural language in formalization
Formalizations serve as cognitive tools. By enabling algorithmic reasoning over sets of statements in a formal language, they provide a cognitive boost for human reasoners. We argue that the emergence of large language models (LLMs) as a technology for the analysis and generation of natural language provides a new perspective on the relative roles of formal and natural languages in formalization.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- What is the Role of Small Models in the LLM Era: A Survey#1049587
- Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning#1132404
- Learning Composable Chains-of-Thought#798613
- Learning Composable Chains-of-Thought#797200
- Harnessing the Reasoning Economy: A Survey of Efficient Reasoning for Large Language Models#984842
Record · ID 74601
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive