Delphi.science

vcg-mechanism-lean

Source: github.com/Arthur742Ramos/vcg-mechanism-lean/tree/aad0c41b9…

Arthur Freitas Ramos

Palomar Registrypalomar/PALOMAR-2026-10-01-000009Oct 1, 2026cs.GTscore 0

A Lean formalization of the Green-Laffont characterization: for finite, nonempty agent and alternative types, efficiency and dominant-strategy incentive compatibility imply that payments have Groves form. The project also verifies four standard properties of the finite VCG mechanism with Clarke pivot payments.

RepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-01-000009
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-01-000009/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-01-000009/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'