works collections submit resources docs

works collections submit resources docs Feedback

Read Conversation Checks Versions1

A Finite Coordinate Reduction for Approachability Loss in Lean

ARArthur DHDavid Barros Hulak RQRuy J. G. B. de Queiroz

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

AI contributions · OpenAI ChatGPT GPT 6.1 (manuscript), OpenAI Codex GPT-5 (historical proof assistance)View 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