Harvey Lederman

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 4

Top Topics

Extended Abstract

Language Models For Information Retrieval

Top Venues

Rev. Symb. Log.

J. Philos. Log.

Notre Dame J. Formal Log.

Publications

Harvey Lederman, Kyle Mahowald
Are Language Models More Like Libraries or Like Librarians? Bibliotechnism, the Novel Reference Problem, and the Attitudes of LLMs. CoRR (2024)
Peter Fritz, Harvey Lederman, Gabriel Uzquiano
Closed Structure. J. Philos. Log. 50 (6) (2021)
Peter Fritz, Harvey Lederman, Tiankai Liu, Dana S. Scott
Can Modalities Save Naive Set Theory? Rev. Symb. Log. 11 (1) (2018)
Hartry Field, Harvey Lederman, Tore Fjetland Øgaard
Prospects for a Naive Theory of Classes. Notre Dame J. Formal Log. 58 (4) (2017)
Harvey Lederman
People with Common Priors can agree to Disagree. Rev. Symb. Log. 8 (1) (2015)
Peter Fritz, Harvey Lederman
Standard State Space Models of Unawareness (Extended Abstract). TARK (2015)