中文
相关论文

相关论文: Fool Me Twice: Entailment from Wikipedia Gamificat…

200 篇论文

Textual entailment models are increasingly applied in settings like fact-checking, presupposition verification in question answering, or summary evaluation. However, these represent a significant domain shift from existing entailment…

计算与语言 · 计算机科学 2023-10-24 Ryo Kamoi , Tanya Goyal , Juan Diego Rodriguez , Greg Durrett

Nowadays fake news are heavily discussed in public and political debates. Even though the phenomenon of intended false information is rather old, misinformation reaches a new level with the rise of the internet and participatory platforms.…

We describe the design and implementation of a reasoning engine that facilitates the gamification of loop-invariant discovery. Our reasoning engine enables students, computational agents and regular software engineers with no formal methods…

人工智能 · 计算机科学 2021-09-03 Andrew Walter , Seth Cooper , Panagiotis Manolios

Data ecosystems are becoming larger and more complex due to online tracking, wearable computing, and the Internet of Things. But privacy concerns are threatening to erode the potential benefits of these systems. Recently, users have…

密码学与安全 · 计算机科学 2017-10-17 Jeffrey Pawlick , Quanyan Zhu

In a recent work, Moshkovitz [FOCS '14] presented a transformation on two-player games called "fortification", and gave an elementary proof of an (exponential decay) parallel repetition theorem for fortified two-player projection games. In…

量子物理 · 物理学 2016-03-18 Mohammad Bavarian , Thomas Vidick , Henry Yuen

We study a game where one player selects a random function, and the other has to guess that function, and show that with high probability the second player can correctly guess most of the random function. We apply this analysis to…

最优化与控制 · 数学 2023-11-28 Catherine Rainer , Eilon Solan

Constructing benchmarks that test the abilities of modern natural language understanding models is difficult - pre-trained language models exploit artifacts in benchmarks to achieve human parity, but still fail on adversarial examples and…

计算与语言 · 计算机科学 2022-01-17 Alon Talmor , Ori Yoran , Ronan Le Bras , Chandra Bhagavatula , Yoav Goldberg , Yejin Choi , Jonathan Berant

The accurate and personalized estimation of task difficulty provides many opportunities for optimizing user experience. However, user diversity makes such difficulty estimation hard, in that empirical measurements from some user sample do…

人机交互 · 计算机科学 2022-09-28 Jeppe Theiss Kristensen , Christian Guckelsberger , Paolo Burelli , Perttu Hämäläinen

Commonsense reasoning simulates the human ability to make presumptions about our physical world, and it is an indispensable cornerstone in building general AI systems. We propose a new commonsense reasoning dataset based on human's…

人工智能 · 计算机科学 2020-10-21 Mo Yu , Xiaoxiao Guo , Yufei Feng , Xiaodan Zhu , Michael Greenspan , Murray Campbell

Games are usually created incrementally, requiring repeated testing of the same scenarios, which is a tedious and error-prone task for game developers. Therefore, we aim to alleviate this game testing process by encapsulating it into a game…

软件工程 · 计算机科学 2023-10-31 Patric Feldmeier , Philipp Straubinger , Gordon Fraser

Feint behaviors refer to a set of deceptive behaviors in a nuanced manner, which enable players to obtain temporal and spatial advantages over opponents in competitive games. Such behaviors are crucial tactics in most competitive…

计算机科学与博弈论 · 计算机科学 2025-06-10 Junyu Liu , Xiangjun Peng

As Machine Learning (ML) systems becomes more ubiquitous, ensuring the fair and equitable application of their underlying algorithms is of paramount importance. We argue that one way to achieve this is to proactively cultivate public…

计算机与社会 · 计算机科学 2020-04-22 Eric Chu , Nabeel Gillani , Sneha Priscilla Makini

The Poison Game is a two-player game played on a graph in which one player can influence which edges the other player is able to traverse. It operationalizes the notion of existence of credulously admissible sets in an argumentation…

计算机科学中的逻辑 · 计算机科学 2019-02-20 Davide Grossi , Simon Rey

The paper introduces a new approach to theory of differential games in which entangled players try to predict and influence actions of their adversaries. The entanglement is generated be a joint probability density known by the players.…

综合物理 · 物理学 2012-09-03 Michail Zak

Deceptive patterns are often used in interface design to manipulate users into taking actions they would not otherwise take, such as consenting to excessive data collection. We present Trickery, a narrative serious game that incorporates…

人机交互 · 计算机科学 2024-10-25 Kirill Kronhardt , Kevin Rolfes , Jens Gerken

Combinatorial games played between two players, called Spoiler and Duplicator, have often been used to capture syntactic properties of formal logical languages. For instance, the widely used Ehrenfeucht-Fra\"iss\'e (EF) game captures the…

计算机科学中的逻辑 · 计算机科学 2025-08-01 Ronald Fagin , Neil Immerman , Phokion Kolaitis , Jonathan Lenchner , Rik Sengupta

The internet gives the world an open platform to express their views and share their stories. While this is very valuable, it makes fake news one of our society's most pressing problems. Manual fact checking process is time consuming, which…

E-polis is a serious digital game designed to gamify sociological surveys studying young people's political opinions. In this platform game, players navigate a digital world, encountering quests posing sociological questions. Players'…

人机交互 · 计算机科学 2025-07-29 Alexandros Gazis , Eleftheria Katsiri

In repeated interactions between individuals, we do not expect that exactly the same situation will occur from one time to another. Contrary to what is common in models of repeated games in the literature, most real situations may differ a…

种群与进化 · 定量生物学 2007-05-23 Anders Eriksson , Kristian Lindgren

We introduce our approach for incremental truth inference over the contributions provided by players of Games with a Purpose: we motivate the need for such a method with the specificity of GWAP vs. traditional crowdsourcing; we explain and…

人机交互 · 计算机科学 2018-10-26 Irene Celino , Gloria Re Calegari
‹ 上一页 1 2 3 10 下一页 ›