Search Results - "Shi, Kensen" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

FrAngel: component-based synthesis with control structures

FrAngel: component-based synthesis with control structures

by Shi, Kensen, Steinhardt, Jacob, Liang, Percy
Published in Proceedings of ACM on programming languages (01.01.2019)

Get full text

Journal Article

TF-Coder: Program Synthesis for Tensor Manipulations

TF-Coder: Program Synthesis for Tensor Manipulations

by Shi, Kensen, Bieber, David, Singh, Rishabh
Published in arXiv.org (07.04.2022)

Get full text

Paper Journal Article

NExT: Teaching Large Language Models to Reason about Code Execution

NExT: Teaching Large Language Models to Reason about Code Execution

by Ni, Ansong, Allamanis, Miltiadis, Cohan, Arman, Deng, Yinlin, Shi, Kensen, Sutton, Charles, Yin, Pengcheng
Year of Publication 22.04.2024

Get full text

Journal Article

Grounding Data Science Code Generation with Input-Output Specifications

Grounding Data Science Code Generation with Input-Output Specifications

by Wen, Yeming, Yin, Pengcheng, Shi, Kensen, Michalewski, Henryk, Chaudhuri, Swarat, Polozov, Alex
Year of Publication 12.02.2024

Get full text

Journal Article

Compositional Generalization and Decomposition in Neural Program Synthesis

Compositional Generalization and Decomposition in Neural Program Synthesis

by Shi, Kensen, Hong, Joey, Zaheer, Manzil, Yin, Pengcheng, Sutton, Charles
Year of Publication 07.04.2022

Get full text

Journal Article

CrossBeam: Learning to Search in Bottom-Up Program Synthesis

CrossBeam: Learning to Search in Bottom-Up Program Synthesis

by Shi, Kensen, Dai, Hanjun, Ellis, Kevin, Sutton, Charles
Year of Publication 20.03.2022

Get full text

Journal Article

Systems and Methods for Synthesizing Code from Input and Output Examples

Systems and Methods for Synthesizing Code from Input and Output Examples

by Singh, Rishabh, Shi, Kensen, Bieber, David J
Year of Publication 27.06.2024

Get full text

Patent

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis

by Shi, Kensen, Hong, Joey, Deng, Yinlin, Yin, Pengcheng, Zaheer, Manzil, Sutton, Charles
Year of Publication 25.07.2023

Get full text

Journal Article

Incremental Sampling Without Replacement for Sequence Models

Incremental Sampling Without Replacement for Sequence Models

by Shi, Kensen, Bieber, David, Sutton, Charles
Year of Publication 20.02.2020

Get full text

Journal Article

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

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

by Shi, Kensen, Dai, Hanjun, Li, Wen-Ding, Ellis, Kevin, Sutton, Charles
Year of Publication 03.06.2023

Get full text

Journal Article

Systems and methods for synthesizing code from input and output examples

Systems and methods for synthesizing code from input and output examples

by Singh, Rishabh, Shi, Kensen, Bieber, David J
Year of Publication 16.01.2024

Get full text

Patent

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

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

by Shi, Kensen, Denny, Jory, Amato, Nancy M.
Published in 2014 IEEE International Conference on Robotics and Automation (ICRA) (01.05.2014)

Get full text

Conference Proceeding

Systems and Methods for Synthesizing Code from Input and Output Examples

Systems and Methods for Synthesizing Code from Input and Output Examples

by Singh, Rishabh, Shi, Kensen, Bieber, David J
Year of Publication 15.06.2023

Get full text

Patent

A Library for Representing Python Programs as Graphs for Machine Learning

A Library for Representing Python Programs as Graphs for Machine Learning

by Bieber, David, Shi, Kensen, Maniatis, Petros, Sutton, Charles, Hellendoorn, Vincent, Johnson, Daniel, Tarlow, Daniel
Year of Publication 15.08.2022

Get full text

Journal Article

Systems and methods for synthesizing code from input and output examples

Systems and methods for synthesizing code from input and output examples

by Singh, Rishabh, Shi, Kensen, Bieber, David J
Year of Publication 07.02.2023

Get full text

Patent

FrAngel: Component-Based Synthesis with Control Structures

FrAngel: Component-Based Synthesis with Control Structures

by Shi, Kensen, Steinhardt, Jacob, Liang, Percy
Year of Publication 13.11.2018

Get full text

Journal Article

Natural Language Outlines for Code: Literate Programming in the LLM Era

Natural Language Outlines for Code: Literate Programming in the LLM Era

by Shi, Kensen, Altınbüken, Deniz, Anand, Saswat, Christodorescu, Mihai, Grünwedel, Katja, Koenings, Alexa, Naidu, Sai, Pathak, Anurag, Rasi, Marc, Ribeiro, Fredde, Ruffin, Brandon, Sanyam, Siddhant, Tabachnyk, Maxim, Toth, Sara, Tu, Roy, Welp, Tobias, Yin, Pengcheng, Zaheer, Manzil, Chandra, Satish, Sutton, Charles
Year of Publication 08.08.2024

Get full text

Journal Article

Systems and Methods for Synthesizing Code from Input and Output Examples

Systems and Methods for Synthesizing Code from Input and Output Examples

by Singh, Rishabh, Shi, Kensen, Bieber, David J
Year of Publication 09.06.2022

Get full text

Patent

Learning and Evaluating Contextual Embedding of Source Code

Learning and Evaluating Contextual Embedding of Source Code

by Kanade, Aditya, Maniatis, Petros, Balakrishnan, Gogul, Shi, Kensen
Year of Publication 21.12.2019

Get full text

Journal Article

Systems and methods for synthesizing code from input and output examples

Systems and methods for synthesizing code from input and output examples

by Singh, Rishabh, Shi, Kensen, Bieber, David J
Year of Publication 22.02.2022

Get full text

Patent