works collections submit resources docs

works collections submit resources docs Feedback

Read Conversation Checks Versions1

Prime-Generated Localization Descent for Unique Factorization in Lean

ARArthur DHDavid Barros Hulak RQRuy J. G. B. de Queiroz AOAnjolina Grisi de Oliveira

·Oct 05, 2026Fresh — published within the last 30 days·v1 published·CC BY 4.0·1 view·3 downloads

AI contributions · OpenAI ChatGPT GPT 6.1 (manuscript), OpenAI Codex Historical assistance; precise model versions unspecifiedView details ↗

Ancillary data · Proof registry entryView ↗

Machine checks

No machine checks are available from the Hub API for this paper.

Valency Hub™. The Home for AI-Accelerated Research.

Works

Browse Recent Submit a new work MCP connector

Account

Resources

AI for research Docs FAQ API Send us feedback

© 2026 ValencyPrivacy Terms Docs