2 papers
cs.GT2025
Incentive-Compatible Recovery from Manipulated Signals, with Applications to Decentralized Physical Infrastructure
Jason Milionis, Jens Ernstberger, Joseph Bonneau +2
We introduce the first formal model capturing the elicitation of unverifiable information from a party (the "source") with implicit signals derived by other players (the "observers…
cs.LG2025
Verde: Verification via Refereed Delegation for Machine Learning Programs
Arasu Arun, Adam St. Arnaud, Alexey Titov +6
Machine learning programs, such as those performing inference, fine-tuning, and training of LLMs, are commonly delegated to untrusted compute providers. To provide correctness guar…