中文
相关论文

相关论文: More style, less work: card-style data decrease ri…

200 篇论文

The study of fairness in multiwinner elections focuses on settings where candidates have attributes. However, voters may also be divided into predefined populations under one or more attributes (e.g., "California" and "Illinois" populations…

计算机科学与博弈论 · 计算机科学 2022-11-24 Kunal Relia

Data augmentation (DA) is a crucial technique for enhancing the sample efficiency of visual reinforcement learning (RL) algorithms. Notably, employing simple observation transformations alone can yield outstanding performance without extra…

机器学习 · 计算机科学 2023-10-30 Guozheng Ma , Linrui Zhang , Haoyu Wang , Lu Li , Zilin Wang , Zhen Wang , Li Shen , Xueqian Wang , Dacheng Tao

Voting Advice Applications (VAA) are tools designed to help voters compare political candidates on policy preferences prior to elections. VAAs are popular tools in European countries and in other countries with multi-party democratic…

计算机与社会 · 计算机科学 2026-03-05 Giovanni Astante , Roberta Sinatra , Vedran Sekara

We introduce supervised latent Dirichlet allocation (sLDA), a statistical model of labelled documents. The model accommodates a variety of response types. We derive an approximate maximum-likelihood procedure for parameter estimation, which…

机器学习 · 统计学 2010-03-04 David M. Blei , Jon D. McAuliffe

Subset selection from massive data with noised information is increasingly popular for various applications. This problem is still highly challenging as current methods are generally slow in speed and sensitive to outliers. To address the…

机器学习 · 计算机科学 2014-11-18 Feiyun Zhu , Bin Fan , Xinliang Zhu , Ying Wang , Shiming Xiang , Chunhong Pan

Dealing with unjudged documents ("holes") in relevance assessments is a perennial problem when evaluating search systems with offline experiments. Holes can reduce the apparent effectiveness of retrieval systems during evaluation and…

信息检索 · 计算机科学 2023-07-12 Sean MacAvaney , Luca Soldaini

Boolean satisfiability (SAT) is a fundamental NP-complete problem with many applications, including automated planning and scheduling. To solve large instances, SAT solvers have to rely on heuristics, e.g., choosing a branching variable in…

人工智能 · 计算机科学 2023-07-19 Mikhail Shirokikh , Ilya Shenbin , Anton Alekseev , Sergey Nikolenko

Governments are increasingly turning to algorithmic risk assessments when making important decisions, such as whether to release criminal defendants before trial. Policymakers assert that providing public servants with algorithmic advice…

人机交互 · 计算机科学 2021-08-16 Ben Green , Yiling Chen

Surgical risk increases significantly when patients present with comorbid conditions. This has resulted in the creation of numerous risk stratification tools with the objective of formulating associated surgical risk to assist both surgeons…

机器学习 · 计算机科学 2020-12-18 Yuxuan , Yang , Hadi Akbarzadeh Khorshidi , Uwe Aickelin , Aditi Nevgi , Elif Ekinci

Online reinforcement learning (RL) algorithms are often difficult to deploy in complex human-facing applications as they may learn slowly and have poor early performance. To address this, we introduce a practical algorithm for incorporating…

人工智能 · 计算机科学 2022-01-03 Tong Mu , Georgios Theocharous , David Arbour , Emma Brunskill

Large technology firms face the problem of moderating content on their online platforms for compliance with laws and policies. To accomplish this at the scale of billions of pieces of content per day, a combination of human and machine…

应用统计 · 统计学 2023-06-14 Xuan Yang , Andrew J Smart , Daniel Theron

Constrained-random simulation is the predominant approach used in the industry for functional verification of complex digital designs. The effectiveness of this approach depends on two key factors: the quality of constraints used to…

计算机科学中的逻辑 · 计算机科学 2014-03-26 Supratik Chakraborty , Kuldeep S. Meel , Moshe Y. Vardi

Presidential primaries are a critical part of the United States Presidential electoral process, since they are used to select the candidates in the Presidential election. While methods differ by state and party, many primaries involve…

计算机与社会 · 计算机科学 2021-09-20 Michelle Blom , Philip B. Stark , Peter J. Stuckey , Vanessa Teague , Damjan Vukcevic

This thesis investigates dataset downsampling as a strategy to optimize energy efficiency in recommender systems while maintaining competitive performance. With increasing dataset sizes posing computational and environmental challenges,…

信息检索 · 计算机科学 2025-02-17 Ardalan Arabzadeh

AWAIRE is one of two extant methods for conducting risk-limiting audits of instant-runoff voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of candidates, but the original implementation incurred memory and…

计算机与社会 · 计算机科学 2024-09-24 Alexander Ek , Michelle Blom , Philip B. Stark , Peter J. Stuckey , Damjan Vukcevic

Legal reform can be challenging in light of the volume, complexity, and interdependence of laws, codes, and records. One salient example of this challenge is the effort to restrict and remove racially restrictive covenants, clauses in…

计算与语言 · 计算机科学 2025-03-12 Faiz Surani , Mirac Suzgun , Vyoma Raman , Christopher D. Manning , Peter Henderson , Daniel E. Ho

Backdoor attacks pose a significant threat to the integrity of text classification models used in natural language processing. While several dirty-label attacks that achieve high attack success rates (ASR) have been proposed, clean-label…

密码学与安全 · 计算机科学 2025-08-25 Onur Alp Kirci , M. Emre Gursoy

Insider threats wield an outsized influence on organizations, disproportionate to their small numbers. This is due to the internal access insiders have to systems, information, and infrastructure. %One example of this influence is where…

密码学与安全 · 计算机科学 2025-06-05 Haywood Gelman , John D. Hastings

This article introduces the 50stateSimulations, a collection of simulated congressional districting plans and underlying code developed by the Algorithm-Assisted Redistricting Methodology (ALARM) Project. The 50stateSimulations allow for…

Randomized experiments or randomized controlled trials (RCTs) are gold standards for causal inference, yet cost and sample-size constraints limit power. We introduce CALM (Causal Analysis leveraging Language Models), a statistical framework…

统计方法学 · 统计学 2025-12-09 Xinrui Ruan , Xinwei Ma , Yingfei Wang , Waverly Wei , Jingshen Wang