Sumith Kulal

According to our database, Sumith Kulal authored at least 12 papers between 2016 and 2024.

Collaborative distances:

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

2024

Scaling Rectified Flow Transformers for High-Resolution Image Synthesis.

Patrick Esser, Sumith Kulal, Andreas Blattmann, Rahim Entezari, Jonas Müller, Harry Saini, Yam Levi, Dominik Lorenz, Axel Sauer, Frederic Boesel, Dustin Podell, Tim Dockhorn, Zion English, Kyle Lacey, Alex Goodwin, Yannik Marek, Robin Rombach

CoRR, 2024

2023

Stable Video Diffusion: Scaling Latent Video Diffusion Models to Large Datasets.

Andreas Blattmann, Tim Dockhorn, Sumith Kulal, Daniel Mendelevitch, Maciej Kilian, Dominik Lorenz, Yam Levi, Zion English, Vikram Voleti, Adam Letts, Varun Jampani, Robin Rombach

CoRR, 2023

Putting People in Their Place: Affordance-Aware Human Insertion into Scenes.

Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

Unsupervised Learning of Shape Programs with Repeatable Implicit Parts.

Boyang Deng, Sumith Kulal, Zhengyang Dong, Congyue Deng, Yonglong Tian, Jiajun Wu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Programmatic Concept Learning for Human Motion Description and Synthesis.

Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

2021

Boolean functional synthesis: hardness and practical algorithms.

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah

Formal Methods Syst. Des., 2021

Hierarchical Motion Understanding via Motion Programs.

Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2019

SPoC: Search-based Pseudocode to Code.

Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

2018

What's Hard About Boolean Functional Synthesis?

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

SymPy: symbolic computing in Python.

Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondrej Certík, Sergey B. Kirpichev, Matthew Rocklin, Amit Kumar, Sergiu Ivanov, Jason Keith Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian E. Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J. Curry, Andy R. Terrel, Stepán Roucka, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman, Anthony M. Scopatz

PeerJ Comput. Sci., 2017

Contract-based resource verification for higher-order functions with memoization.

Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

SymPy: Symbolic computing in Python.

Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondrej Certík, Matthew Rocklin, Amit Kumar, Sergiu Ivanov, Jason Keith Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian E. Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J. Curry, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman, Anthony M. Scopatz

PeerJ Prepr., 2016