-
Physics-informed neural network solution of thermo-hydro-mechanical (THM) pro...
Physics-Informed Neural Networks (PINNs) have received increased interest for forward, inverse, and surrogate modeling of problems described by partial differential equations... -
Generating Shortest Synchronizing Sequences using ASP
The problem of finding a shortest synchronizing sequence for a finite state automaton (FA) is formulated in Answer Set Programming (ASP). Four different ASP formulations are... -
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
The dataset is used to model reactive multi-context systems for online reasoning in dynamic environments. -
Cyberattack Prediction Through Public Text Analysis and Mini-Theories
Cyberattack Prediction Through Public Text Analysis and Mini-Theories is a dataset used for training machine learning models to predict cyberattacks. -
Markov Logic Networks
Markov Logic Networks (MLNs) are a probabilistic graphical model that can be used for a variety of tasks, including classification, regression, and clustering. -
DeepPSL: End-to-end perception and reasoning
DeepPSL is a variant of probabilistic soft logic (PSL) to produce an end-to-end trainable system that integrates reasoning and perception. -
Expected Policy Gradients
The authors used the SimpleQuestion dataset as a test environment for their expected policy gradient method. -
Modeling Task Interactions in Document-Level Joint Entity and Relation Extrac...
Document-level relation extraction in an end-to-end setting, where the model needs to jointly perform mention extraction, coreference resolution (COREF) and relation extraction... -
Room-to-Room (R2R) dataset
The Room-to-Room (R2R) dataset is a benchmark for vision-and-language navigation tasks. It consists of 7,189 paths sampled from its navigation graphs, each with three... -
TruthfulQA
The TruthfulQA dataset is a dataset that contains 817 questions designed to evaluate language models' preference to mimic some human falsehoods. -
Simplifying graph convolutional networks
Simplifying graph convolutional networks. -
StackLLaMA: An RL fine-tuned LLaMA model for Stack Exchange question and answ...
The dataset used in the paper is the StackExchange dataset. -
Symbolic, Language Agnostic and Ontologically Grounded Large Language Models
The dataset used in the paper to demonstrate the limitations of large language models (LLMs) in capturing inferential aspects of natural language.