Harvey Friedman's Research on the Foundations of Mathematics

By H. Friedman, L. Harrington. 1985

Subfields: Algorithms & Complexity, Philosophy

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Algorithms & Complexity

1. Chris Callison-Burch

In Philosophy

1. Michael Collins
2. Dipanjan Das
3. Hannah Rashkin

Citations in the corpus

• Measuring Attribution in Natural Language Generation Models (2021, background): “…extends to a much larger set of system utterances, in particular giving a treatment of interpretability2, and contex- 2We acknowledge that the term “interpretability” has come to signify “model interpretability” in the NLP and ML community (as established in Harrington et al. (1985), tual effects.”
• Faithful Chain-of-Thought Reasoning (2023, background): “…(also called fidelity or reliability ) means that an explanation should “accurately represent the reasoning process behind the model’s prediction”, which is a fundamental requirement of an explanation (Harrington et al., 1985; Ribeiro et al., 2016; Gilpin et al., 2018; Jacovi and Goldberg, 2020).”