English
Related papers

Related papers: Civil Asset Forfeiture: A Judicial Perspective

200 papers

Natural language processing techniques have helped domain experts solve legal problems. Digital availability of court documents increases possibilities for researchers, who can access them as a source for building datasets -- whose…

Computers and Society · Computer Science 2022-11-02 Raysa M. Benatti , Camila M. L. Villarroel , Sandra Avila , Esther L. Colombini , Fabiana C. Severi

Feature attributions are a common paradigm for model explanations due to their simplicity in assigning a single numeric score for each input feature to a model. In the actionable recourse setting, wherein the goal of the explanations is to…

Machine Learning · Computer Science 2022-05-17 Emanuele Albini , Jason Long , Danial Dervovic , Daniele Magazzeni

Community bail funds (CBFs) assist individuals who have been arrested and cannot afford bail, preventing unnecessary pretrial incarceration along with its harmful or sometimes fatal consequences. By posting bail, CBFs allow defendants to…

Probability · Mathematics 2025-07-09 Yidan Zhang , Jamol Pender

Data is always at the center of the theoretical development and investigation of the applicability of formal concept analysis. It is therefore not surprising that a large number of data sets are repeatedly used in scholarly articles and…

Artificial Intelligence · Computer Science 2025-04-30 Tom Hanika , Robert Jäschke

Mediation is often treated as an extension of negotiation, without taking into account the unique role that norms and facts play in legal mediation. Additionally, current approaches for updating argument acceptability in response to…

Artificial Intelligence · Computer Science 2024-09-26 Xiao Chi

Security Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful adoption of assurance cases for safety, SACs are getting significant traction in recent…

Software Engineering · Computer Science 2020-04-01 Mazen Mohamad , Jan-Philipp Steghöfer , Riccardo Scandariato

Cloud storage services such as Dropbox, Box and SugarSync have been embraced by both individuals and organizations. This creates an environment that is potentially conducive to security breaches and malicious activities. The investigation…

Cryptography and Security · Computer Science 2013-03-19 George Grispos , William Bradley Glisson , Tim Storer

Ensuring fairness in machine learning predictions is a critical challenge, especially when models are deployed in sensitive domains such as credit scoring, healthcare, and criminal justice. While many fairness interventions rely on data…

Artificial Intelligence · Computer Science 2026-04-09 Irina Arévalo , Marcos Oliva

Machine learning can impact people with legal or ethical consequences when it is used to automate decisions in areas such as insurance, lending, hiring, and predictive policing. In many of these scenarios, previous decisions have been made…

Machine Learning · Statistics 2018-03-09 Matt J. Kusner , Joshua R. Loftus , Chris Russell , Ricardo Silva

Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model…

Logic in Computer Science · Computer Science 2007-05-23 Shuvendu K. Lahiri , Randal E. Bryant

Data have power. As such, most discussions of data presume that records should mirror some idealized ground truth. Deviations are viewed as failure. Drawing on two ethnographic studies of state data-making in a Chinese street-level…

Computers and Society · Computer Science 2026-02-26 Chuncheng Liu , danah boyd

Divorce is the legal dissolution of a marriage by a court. Since this is usually an unpleasant outcome of a marital union, each party may have reasons to call the decision to quit which is generally documented in detail in the court…

Computers and Society · Computer Science 2023-07-21 Sujan Dutta , Parth Srivastava , Vaishnavi Solunke , Swaprava Nath , Ashiqur R. KhudaBukhsh

Recent studies show that private training data can be leaked through the gradients sharing mechanism deployed in distributed machine learning systems, such as federated learning (FL). Increasing batch size to complicate data recovery is…

Machine Learning · Computer Science 2022-02-22 Xiao Jin , Pin-Yu Chen , Chia-Yi Hsu , Chia-Mu Yu , Tianyi Chen

With an exponentially increasing usage of cloud services, the need for forensic investigations of virtual space is equally in constantly increasing demand, which includes as a very first approach, the gaining of access to it as well as the…

Cryptography and Security · Computer Science 2016-09-27 Steven Ryder , Nhien-An Le-Khac

In this work, we present Fairness Aware Counterfactuals for Subgroups (FACTS), a framework for auditing subgroup fairness through counterfactual explanations. We start with revisiting (and generalizing) existing notions and introducing new,…

We investigate how the use of bullet comparison algorithms and demonstrative evidence may affect juror perceptions of reliability, credibility, and understanding of expert witnesses and presented evidence. The use of statistical methods in…

Computers and Society · Computer Science 2024-05-17 Rachel Rogers , Susan VanderPlas

In an era where misinformation spreads freely, fact-checking (FC) plays a crucial role in verifying claims and promoting reliable information. While automated fact-checking (AFC) has advanced significantly, existing systems remain…

Computation and Language · Computer Science 2025-09-11 Fanzhen Liu , Alsharif Abuadbba , Kristen Moore , Surya Nepal , Cecile Paris , Jia Wu , Jian Yang , Quan Z. Sheng

Attorneys and others have a strong interest in having a digital library with suitable services (e.g., summarizing, searching, and browsing) to help them work with large corpora of legal depositions. Their needs often involve understanding…

Computation and Language · Computer Science 2020-09-11 Saurabh Chakravarty , Satvik Chekuri , Maanav Mehrotra , Edward A. Fox

Given a specific query case, legal case retrieval systems aim to retrieve a set of case documents relevant to the case at hand. Previous studies on user behavior analysis have shown that information retrieval (IR) systems can significantly…

Information Retrieval · Computer Science 2023-10-10 Beining Wang , Ruizhe Zhang , Yueyue Wu , Qingyao Ai , Min Zhang , Yiqun Liu

Counterfactual analysis is intuitively performed by humans on a daily basis eg. "What should I have done differently to get the loan approved?". Such counterfactual questions also steer the formulation of scientific hypotheses. More…

Machine Learning · Computer Science 2023-09-18 Juliane Weilbach , Sebastian Gerwinn , Melih Kandemir , Martin Fraenzle