Kensen Shi

According to our database, Kensen Shi authored at least 18 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Grounding Data Science Code Generation with Input-Output Specifications.

Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov

CoRR, 2024

2023

PaLM: Scaling Language Modeling with Pathways.

Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, Parker Schuh, Kensen Shi, Sasha Tsvyashchenko, Joshua Maynez, Abhishek Rao, Parker Barnes, Yi Tay, Noam Shazeer, Vinodkumar Prabhakaran, Emily Reif, Nan Du, Ben Hutchinson, Reiner Pope, James Bradbury, Jacob Austin, Michael Isard, Guy Gur-Ari, Pengcheng Yin, Toju Duke, Anselm Levskaya, Sanjay Ghemawat, Sunipa Dev, Henryk Michalewski, Xavier Garcia, Vedant Misra, Kevin Robinson, Liam Fedus, Denny Zhou, Daphne Ippolito, David Luan, Hyeontaek Lim, Barret Zoph, Alexander Spiridonov, Ryan Sepassi, David Dohan, Shivani Agrawal, Mark Omernick, Andrew M. Dai, Thanumalayan Sankaranarayana Pillai, Marie Pellat, Aitor Lewkowycz, Erica Moreira, Rewon Child, Oleksandr Polozov, Katherine Lee, Zongwei Zhou, Xuezhi Wang, Brennan Saeta, Mark Diaz, Orhan Firat, Michele Catasta, Jason Wei, Kathy Meier-Hellstern, Douglas Eck, Jeff Dean, Slav Petrov, Noah Fiedel

J. Mach. Learn. Res., 2023

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis.

Kensen Shi, Joey Hong, Manzil Zaheer, Pengcheng Yin, Charles Sutton

CoRR, 2023

LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas.

Kensen Shi, Hanjun Dai, Wen-Ding Li, Kevin Ellis, Charles Sutton

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Can Large Language Models Reason about Program Invariants?

Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin

Proceedings of the International Conference on Machine Learning, 2023

Natural Language to Code Generation in Interactive Data Science Notebooks.

Pengcheng Yin, Wen-Ding Li, Kefan Xiao, Abhishek Rao, Yeming Wen, Kensen Shi, Joshua Howland, Paige Bailey, Michele Catasta, Henryk Michalewski, Oleksandr Polozov, Charles Sutton

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

TF-Coder: Program Synthesis for Tensor Manipulations.

Kensen Shi, David Bieber, Rishabh Singh

ACM Trans. Program. Lang. Syst., 2022

A Library for Representing Python Programs as Graphs for Machine Learning.

David Bieber, Kensen Shi, Petros Maniatis, Charles Sutton, Vincent J. Hellendoorn, Daniel D. Johnson, Daniel Tarlow

CoRR, 2022

Compositional Generalization and Decomposition in Neural Program Synthesis.

Kensen Shi, Joey Hong, Manzil Zaheer, Pengcheng Yin, Charles Sutton

CoRR, 2022

CrossBeam: Learning to Search in Bottom-Up Program Synthesis.

Kensen Shi, Hanjun Dai, Kevin Ellis, Charles Sutton

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration.

Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, Hanjun Dai

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

BUSTLE: Bottom-up program-Synthesis Through Learning-guided Exploration.

Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton

CoRR, 2020

Pre-trained Contextual Embedding of Source Code.

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

CoRR, 2020

Incremental Sampling Without Replacement for Sequence Models.

Kensen Shi, David Bieber, Charles Sutton

Proceedings of the 37th International Conference on Machine Learning, 2020

Learning and Evaluating Contextual Embedding of Source Code.

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

Proceedings of the 37th International Conference on Machine Learning, 2020

2019

FrAngel: component-based synthesis with control structures.

Kensen Shi, Jacob Steinhardt, Percy Liang

Proc. ACM Program. Lang., 2019

2014

Spark PRM: Using RRTs within PRMs to efficiently explore narrow passages.

Kensen Shi, Jory Denny, Nancy M. Amato

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Lazy Toggle PRM: A single-query approach to motion planning.

Jory Denny, Kensen Shi, Nancy M. Amato

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013