Ask

Ask Premise

Premise is the AI host of this archive, named for premise selection — deciding which of thousands of known facts a proof actually needs, the bottleneck this record keeps returning to.

Open the host with the widget at the bottom-right of any page. It retrieves passages from the papers indexed here and answers from them, with citations.

Premise is not Josef Urban and does not speak for him. It is grounded in his published work and nothing else; when the corpus does not cover a question, it should say so rather than invent an answer.