3 papers
cs.GT2026
Constrained Policy Optimization for Provably Fair Order Matching
Zehua Cheng, Zhipeng Wang, Wei Dai +5
Automated matching engines execute millions of orders per session, yet systematic asymmetries in latency, order size, and market access compound into persistent execution dispariti…
cs.GT2025
A Protocol for Trustless Verification Under Uncertainty
David Shi, Kevin Joo
Correctness is an emergent property of systems where exposing error is cheaper than committing it. In dynamic, low-trust environments, autonomous AI agents benefit from delegating…
cs.CR2025
Sybil-Resistant Service Discovery for Agent Economies
David Shi, Kevin Joo
x402 enables Hypertext Transfer Protocol (HTTP) services like application programming interfaces (APIs), data feeds, and inference providers to accept cryptocurrency payments for a…