Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joshua B. Tenenbaum
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2018 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2025 profile
POPL 2023 profile
POPL 2024 profile
POPL 2025 profile
POPL 2026 profile
Not registered as user
Name:
Joshua B. Tenenbaum
Country:
United States
Affiliation:
Massachusetts Institute of Technology
Contributions
2026
LAFI
Author of Sequential Monte Carlo Program Synthesis with Refinement Proposals within the LAFI 2026-track
Author of Language-Model Probabilistic Programming for Improving Autoformalization via Cycle Consistency and Incremental Type-Checking within the LAFI 2026-track
2025
SPLASH
Author of Gauguin, Descartes, Bayes: A Diurnal Golem's Brain within the Onward! Essays-track
Author of A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (or: a memo on memo) within the OOPSLA-track
PLDI
Author of Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs within the PLDI Research Papers-track
LAFI
Author of A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo) within the LAFI 2025-track
Author of Lazy Knowledge Compilation for Discrete PPLs within the LAFI 2025-track
2024
LAFI
Author of Toward Probabilistic Coarse-to-Fine Program Synthesis within the LAFI 2024-track
2023
POPL
Author of Top-Down Synthesis for Library Learning within the POPL-track
Author of Combining Functional and Automata Synthesis to Discover Causal Reactive Programs within the POPL-track
2022
PLDI
Author of (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning within the SIGPLAN Track-track
2021
PLDI
Author of DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning within the PLDI-track
2018
MAPS
Author of The Three Pillars of Machine Programming within the MAPL 2018-track
Share
x
Wed 17 Dec 05:18