works collections submit resources docs

works collections submit resources docs Feedback

Read Conversation Checks Versions1

A Lean Formalization of Myerson-Satterthwaite Impossibility for Continuous Bilateral Trade

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

AI contributions · OpenAI ChatGPT GPT 6.1 (manuscript), OpenAI Codex gpt-6-luna (historical proof engineering)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