Theory
1,949 items in 14 lists
-
SciBERT: A Pretrained Language Model for Scientific Text aclanthology.org
EMNLP'19, 2019. [All Versions]. Searching and synthesizing scientific literature, aiding researchers in hypothesis generation, and assisting with experimental design, making scientific knowledge more accessible.
-
UNcommonsense Reasoning: Abductive Reasoning about Uncommon Situations aclanthology.org
NAACL'24, 2024. [All Versions]. This paper explores the task of uncommonsense abductive reasoning. Given a piece of context with an unexpected outcome, this task requires reasoning abductively to generate an explanation that makes the unexpected outcome more likely in the…
-
Do Llamas Work in English? On the Latent Language of Multilingual Transformers aclanthology.org
ACL'24, 2024. [All Versions]. A preliminary work empirically showing that the intermediate embeddings of multilingual Transformers (1) start far away from output token embeddings; (2) already allow for decoding a semantically correct next token in the middle layers, but give…
-
AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints aclanthology.org
ACL'24, 2024. [All Versions]. [Preprint]. [Project]. The original paper on the automated design of DSLs, referred to as AutoDSL. Accurate representation of procedures in restricted scenarios, such as non-standardized scientific experiments, requires precise depiction of…
-
BioPlanner: Automatic Evaluation of LLMs on Protocol Planning in Biology aclanthology.org
EMNLP'23, 2023. [All Versions]. [Project]. This paper presents an automatic evaluation framework for the task of planning experimental protocols, and introduces BioProt: a dataset of biology protocols with corresponding pseudocode representations.
-
Large Language Models Meet NL2Code: A Survey aclanthology.org
ACL'23, 2023. [All Versions]. [NL2Code Website]. A paper presenting a comprehensive survey of 27 existing large language models for NL2Code, and also review benchmarks and metrics, suggesting that the key factors contributing to the success of large language models for NL2Code…
-
PersLEARN: Research Training through the Lens of Perspective Cultivation aclanthology.org
ACL'23, 2023. [All Versions]. Scientific research is inherently shaped by its authors’ perspectives, influenced by various factors such as their personality, community, or society. Junior researchers often face challenges in identifying the perspectives reflected in the…
-
Unit Testing for Concepts in Neural Networks aclanthology.org
Transactions of the Association for Computational Linguistics, 2022. [All Versions]. Testing the concept representation by neural networks through Fodor's theory of concepts.
-
Broaden the Vision: Geo-Diverse Visual Commonsense Reasoning aclanthology.org
EMNLP'21, 2021. [All Versions].
-
ESRA: Explainable Scientific Research Assistant aclanthology.org
ACL'21 Demo Track, 2021. [All Versions]. A tool for constructing and visualizing the knowledge graph of a query keyword in literature retrieving.
-
LEGAL-BERT: The Muppets straight out of Law School aclanthology.org
EMNLP'20, 2020. [All Versions]. Generating answers to legal questions, analyze contracts, and summarizing legal documents, making legal knowledge more accessible to non-experts.
-
Pragmatic Issue-Sensitive Image Captioning aclanthology.org
EMNLP Findings'20, 2020. [All Versions]. Application of Rational Speech Act to Image Captioning.
-
CodeBERT: A Pre-Trained Model for Programming and Natural Languages aclanthology.org
EMNLP'20, 2020. [All Versions]. Completing code, generating programming documentation, and providing technical support, making programming knowledge more accessible to non-experts.
-
Sky + Fire = Sunset. Exploring Parallels between Visually Grounded Metaphors and Image Classifiers aclanthology.org
ACL'20, 2020. [All Versions].
-
Experience Grounds Language aclanthology.org
EMNLP'20, 2020. [All Versions]. A perspective on the furture of computational linguistics research---commonsense-driven and embodied language.
-
How large language models need symbolism academic.oup.com
National Science Review, 2025. [All Versions]. Advances in artificial intelligence (AI), particularly large language models (LLMs), have achieved remarkable success. This progress stems from ‘scaling laws’---performance improves with greater computation, data and model size…
-
Learning to act: qualitative learning of deterministic action models academic.oup.com
Journal of Logic and Computation, 2017. [All Versions].
-
Abductive Logic Programming academic.oup.com
Journal of Logic Computation, 1992. [All Versions]. This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). The authors outline the general framework of abduction and its…
-
Simple shape feature computation across modalities: convergence and divergence between the ventral and dorsal visual… academic.oup.com
Cerebral Cortex, 2023. [All Versions]. [Preprints]. Shape processing, whether by seeing or touching, is pivotal to object recognition and manipulation. Although the low-level signals are initially processed by different modality-specific neural circuits, multimodal responses to…
-
BioBERT: a pre-trained biomedical language representation model for biomedical text mining academic.oup.com
Bioinformatics, 2020. [All Versions]. Answering medical questions, identifying relevant clinical trials, and diagnosing diseases based on symptoms, making medical information more accessible to the general public.
-
Theory of Minds: Understanding Behavior in Groups through Inverse Planning aaai.org
AAAI'19, 2019. [All Versions]. Towards the goal of building machine-learning algorithms with human-like social intelligence, this paper develops a generative model of multiagent action understanding based on a novel representation for these latent relationships called…
-
Speech Acts of Argumentation: Inference Anchors and Peripheral Cues in Dialogue aaai.org
AAAI'12, 2012. [All Versions]. The original paper introducing the Information Anchoring Theory (IAT) as an alternate for AIF.
-
An Approach to Abductive Reasoning in Equational Logic aaai.org
IJCAI'13, 2013. [All Versions]. Abduction has been extensively studied in propositional logic because of its many applications in artificial intelligence. However, its intrinsic complexity has been a limitation to the implementation of abductive reasoning tools in more…
-
Learning Systems of Concepts with an Infinite Relational Model aaai.org
AAAI'06, 2006. [All Versions].
-
The Public Acquisition of Commonsense Knowledge aaai.org
Proceedings of AAAI Spring Symposium on Acquiring (and Using) Linguistic (and World) Knowledge for Information Access, 2002. [All Versions]. The first attempt for acquring commonsense knowlege from humans' activities on the internet.
-
Philosophical Writings of Peirce 4lib.org
Courier Corporation, 1955. [All Versions]. Original writings by C. S. Peirce, the philosopher who first introduces the concept of Abduction.
-
Handbook of Knowledge Representation 1lib.net
Elsevier, 2008. [All Versions]. A pragmatical handbook for all kinds of knowledge representation modes.
-
A Cognitive Theory of Metaphor 1lib.net
MIT Press, 1985. [All Versions]. A cognitive account on Metaphor.
-
Learning to Solve Problems: A Handbook for Designing Problem-Solving Learning Environments 196.223.158.148
Taylorfrancis, 2010. [All Versions].
-
XRay: Enhancing the Web's Transparency with Differential Correlation usenix.org
(USENIX Security) Audits which user profile data were used for targeting a particular ad, recommendation, or price.
-
Stealing Machine Learning Models via Prediction APIs usenix.org
(Usenix Security) (Code) Aims at extracting machine learning models in use by remote services.
-
Data driven exploratory attacks on black box classifiers in adversarial domains sciencedirect.com
(Neurocomputing) Reverse engineers remote classifier models (e.g., for evading a CAPTCHA test).
-
Auditing fairness under unawareness through counterfactual reasoning sciencedirect.com
(Information Processing & Management) Shows how to unveil whether a black-box model, complying with the regulations, is still biased or not.
-
FairLens: Auditing black-box clinical decision support systems sciencedirect.com
(Information Processing & Management) Presents a pipeline to detect and explain potential fairness issues in Clinical DSS, by comparing different multi-label classification disparity measures.
-
Online Learning for Measuring Incentive Compatibility in Ad Auctions research.fb.com
(WWW) Measures the incentive compatible- (IC) mechanisms (regret) of black-box auction platforms.
-
Remote Explainability faces the bouncer problem rdcu.be
(Nature Machine Intelligence volume 2, pages529–539) (Code) Shows the impossibility (with one request) or the difficulty to spot lies on the explanations of a remote AI decision.
-
Identifying the Machine Learning Family from Black-Box Models rd.springer.com
(CAEPIA) Determines which kind of machine learning model is behind the returned predictions.
-
Look at the Variance! Efficient Black-box Explanations with Sobol-based Sensitivity Analysis proceedings.neurips.cc
(NeurIPS) Sobol indices provide an efficient way to capture higher-order interactions between image regions and their contributions to a (black box) neural network’s prediction through the lens of variance.
-
Black-Box Ripper: Copying black-box models using generative evolutionary algorithms proceedings.neurips.cc
(NeurIPS) Replicates the functionality of a black-box neural model, yet with no limit on the amount of queries (via a teacher/student scheme and an evolutionary search).
-
Active Fairness Auditing proceedings.mlr.press
(ICML) Studies of query-based auditing algorithms that can estimate the demographic parity of ML models in a query-efficient manner.
-
Bayesian Algorithm Execution: Estimating Computable Properties of Black-box Functions Using Mutual Information proceedings.mlr.press
(ICML) A budget constrained and Bayesian optimization procedure to extract properties out of a black-box algorithm.
-
Stealing the Decoding Algorithms of Language Models people.cs.umass.edu
(CCS) Steal the type and hyperparameters of the decoding algorithms of a LLM.
-
Opening Up the Black Box:Auditing Google's Top Stories Algorithm par.nsf.gov
(Flairs-32) Audit of the Google's Top stories panel that pro-vides insights into its algorithmic choices for selectingand ranking news publisher
-
Confidential-PROFITT: Confidential PROof of FaIr Training of Trees openreview.net
(ICLR) Proposes fair decision tree learning algorithms along with zero-knowledge proof protocols to obtain a proof of fairness on the audited server.
-
A zest of lime: towards architecture-independent model distances openreview.net
(ICLR) Measures the distance between two remote models using LIME.
-
GeoDA: a geometric framework for black-box adversarial attacks openaccess.thecvf.com
(CVPR) (Code) Crafts adversarial examples to fool models, in a pure blackbox setup (no gradients, inferred class only).
-
Auditing News Curation Systems:A Case Study Examining Algorithmic and Editorial Logic in Apple News ojs.aaai.org
(ICWSM) Audit study of Apple News as a sociotechnical news curation system (trending stories section).
-
Two-Face: Adversarial Audit of Commercial Face Recognition Systems ojs.aaai.org
(ICWSM) Performs an adversarial audit on multiple systems APIs and datasets, making a number of concerning observations.
-
Privacy Auditing with One (1) Training Run neurips.cc
(NeurIPS - best paper) A scheme for auditing differentially private machine learning systems with a single training run.
-
An Empirical Analysis of Algorithmic Pricing on Amazon Marketplace mislove.org
(WWW) (Code) Develops a methodology for detecting algorithmic pricing, and use it empirically to analyze their prevalence and behavior on Amazon Marketplace.
- next page of items loading…
