29 citations · 145 across the 26 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CL2023
Faithfulness Tests for Natural Language Explanations
Pepa Atanasova, Oana-Maria Camburu, Christina Lioma +3
Explanations of neural models aim to reveal a model's decision-making process for its predictions. However, recent work shows that current methods giving explanations such as salie…
math.LO2023
On representations of real numbers and the computational complexity of converting between such representations
Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen
We study the computational complexity of converting one representation of real numbers into another representation. Typical examples of representations are Cauchy sequences, base-1…