works collections submit resources docs

works collections submit resources docs Feedback

Read Conversation Checks Versions1

Deferred Acceptance in Lean for Finite Strict Preference Markets

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

AI contributions · OpenAI Codex GPT-6.1, OpenAI Codex GPT-6-Luna (repository-reported formalization assistance)View details ↗

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