9 papers
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…
Fairly Wired: Towards Leximin-Optimal Division of Electricity
Eden Hartman, Dinesh Kumar Baghel, Erel Segal-Halevi
In many parts of the world - particularly in developing countries - the demand for electricity exceeds the available supply. In such cases, it is impossible to provide electricity…
Control for Coalitions in Parliamentary Elections
Hodaya Barr, Eden Hartman, Yonatan Aumann +1
The traditional election control problem focuses on the use of control to promote a single candidate. In parliamentary elections, however, the focus shifts: voters care no less abo…
It's Not All Black and White: Degree of Truthfulness for Risk-Avoiding Agents
Eden Hartman, Erel Segal-Halevi, Biaoshuai Tao
The classic notion of \emph{truthfulness} requires that no agent has a profitable manipulation -- an untruthful report that, for \emph{some} combination of reports of the other age…
Reducing Leximin Fairness to Utilitarian Optimization
Eden Hartman, Yonatan Aumann, Avinatan Hassidim +1
Two prominent objectives in social choice are utilitarian - maximizing the sum of agents' utilities, and leximin - maximizing the smallest agent's utility, then the second-smallest…
Leximin Approximation: From Single-Objective to Multi-Objective
Eden Hartman, Avinatan Hassidim, Yonatan Aumann +1
Leximin is a common approach to multi-objective optimization, frequently employed in fair division applications. In leximin optimization, one first aims to maximize the smallest ob…