works collections submit resources docs

works collections submit resources docs Feedback

Read Conversation Checks Versions1

Finite Nash Equilibria and Dependent Mixed Strategies 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·1 view·3 downloads

AI contributions · OpenAI Codex GPT-6.1 (manuscript)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