Matthew Bowers

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Fixpoint Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Gabriel Grand, Lionel Wong, Matthew Bowers, Theo X. Olausson, Muxin Liu, Joshua B. Tenenbaum, Jacob Andreas
LILO: Learning Interpretable Libraries by Compressing and Documenting Code. ICLR (2024)
Patrick Haluptzok, Matthew Bowers, Adam Tauman Kalai
Language Models Can Teach Themselves to Program Better. ICLR (2023)
Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
Top-Down Synthesis for Library Learning. Proc. ACM Program. Lang. 7 (POPL) (2023)
Gabriel Grand, Lionel Wong, Matthew Bowers, Theo X. Olausson, Muxin Liu, Joshua B. Tenenbaum, Jacob Andreas
LILO: Learning Interpretable Libraries by Compressing and Documenting Code. CoRR (2023)
Patrick Haluptzok, Matthew Bowers, Adam Tauman Kalai
Language Models Can Teach Themselves to Program Better. CoRR (2022)
Matthew Bowers, Theo X. Olausson, Catherine Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
Top-Down Synthesis for Library Learning. CoRR (2022)
Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama
Representing Partial Programs with Blended Abstract Semantics. ICLR (2021)
Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama
Representing Partial Programs with Blended Abstract Semantics. CoRR (2020)