Concepedia

Alexander K. Lew

AK

4

Publications

204

Citations

4

H-Index

2019

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Alexander K. Lew is an author at Massachusetts Institute of Technology specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningLanguageSemanticsLinguisticsData ScienceFormal MethodsProgram AnalysisArtificial Intelligence

Publications per year

2019–2023

4

Publications

4

Gen: a general-purpose probabilistic programming system with programmable inference

Marco Cusumano-Towner, Feras A. Saad, Alexander K. Lew et al. · 2019 · 124 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +22

From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought

Lionel Wong, Gabriel Grand, Alexander K. Lew et al. · arXiv (Cornell University) · 2023 · 36 citations · Full text

Artificial Intelligence, Engineering, Word Models +25

Trace types and denotational semantics for sound programmable inference in probabilistic languages

Alexander K. Lew, Marco Cusumano-Towner, Benjamin Sherman et al. · Proceedings of the ACM on Programming Languages · 2019 · 29 citations · Full text

Engineering, Probabilistic Computation, Semantics +24

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Alexander K. Lew, Mathieu Huot, Sam Staton et al. · Proceedings of the ACM on Programming Languages · 2023 · 15 citations · Full text

Rows per page

1–4 of 4