4 papers · 1 filter
On the LLM Verification for Argument Graph Generation
Jakub Bąba, Jarosław A. Chudziak
Multi-agent LLM systems can formalize natural-language argumentation end-to-end, turning plain text into structured graphs by classifying components, connecting them with relations…
Who Is Really Playing? Strategic Interaction in AI-Guided Populations
Jonathan Shaki, Eden Hartman, Sarit Kraus +1
AI systems in general, and Large language models (LLMs), in particular, are increasingly used to provide instructions to many agents who interact with one another. Such shared reli…
How Many Votes is a Lie Worth? Measuring Strategyproofness through Resource Augmentation
Ratip Emin Berker, Vincent Conitzer, Eden Hartman +2
It is well known, by the Gibbard-Satterthwaite Theorem, that when there are more than two candidates, any non-dictatorial voting rule can be manipulated by untruthful voters. But h…
Coalition Tactics: Bribery and Control in Parliamentary Elections
Hodaya Barr, Eden Hartman, Yonatan Aumann +1
Strategic manipulation of elections is typically studied in the context of promoting individual candidates. In parliamentary elections, however, the focus shifts: voters may care m…