Advanced search

Find records

with all of the words

with the exact phrase

with at least one of the words

without the words

where my words occur anywhere in the record in the title of the record

Narrow down

Return records authored by

Return records published in

Return records dated between

Return records of type

Search tips Browse subjects

1 result

Journal article

The Allowance Is Doing the Work: Constructed Premises in Chain-of-Thought Step Verification, What Formal Validity Still Certifies Once They Are Permitted, and the Dependence Test Argumentation Runs and Step Verification Does Not

Pranay Mahendrakar 2026

(c) 2026 Pranay Mahendrakar. Licensed under CC BY 4.0. A verifier that checks the steps of a chain of thought cannot demand that each step state everything it relies on, because no real step does. Every published step verifier therefore permits a class of premises that the text does not contain…

Cite Related research LOR-00023 · 5 views · 5 downloads Select “The Allowance Is Doing the Work: Constructed Premises in…” for export

PDF587.4 KB

Search tips

Type this	To find
`neural networks`	Records containing both words, anywhere (titles count most)
`"language models"`	The exact phrase
`memory -survey`	Leave out records that mention a word
`hallucination OR confabulation`	Either word
`author:"Ada Lovelace"`	Records by an author
`title:benchmark`	A word in the title
`allintitle: agent memory`	All of the words in the title
`source:"Nature"`	Records published in a journal
`keyword:"machine learning"`	Records tagged with a subject
`year:2022-2026`	Published in a range of years (or year:2026)
`since:2025`	Published in or after a year (until:2020 for before)
`type:dataset`	Only one type: article, preprint, dataset, thesis, report, software…
`doi:10.5281/zenodo.123456`	The record with a DOI
`related:LOR-00012`	Research related to a record

Operators combine: "open access" author:Mahendrakar since:2025 -preprint. Words match their variants (model finds models) and accents are ignored. Press / anywhere to jump to the search box. Software and agents can use the same syntax through the JSON search API.

Cite

APA

BibTeX

Import into a reference manager: BibTeX · RIS (Zotero, Mendeley, EndNote)