Sumith Kulal

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 17

Top Topics

Diffusion Model

Image Synthesis

Contractual Obligations

Top Venues

Publications

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
Scaling Rectified Flow Transformers for High-Resolution Image Synthesis. CoRR (2024)
Andreas Blattmann, Tim Dockhorn, Sumith Kulal, Daniel Mendelevitch, Maciej Kilian, Dominik Lorenz, Yam Levi, Zion English, Vikram Voleti, Adam Letts, Varun Jampani, Robin Rombach
Stable Video Diffusion: Scaling Latent Video Diffusion Models to Large Datasets. CoRR (2023)
Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh
Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. CVPR (2023)
Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh
Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. CoRR (2023)
Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
Programmatic Concept Learning for Human Motion Description and Synthesis. CoRR (2022)
Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
Programmatic Concept Learning for Human Motion Description and Synthesis. CVPR (2022)
Boyang Deng, Sumith Kulal, Zhengyang Dong, Congyue Deng, Yonglong Tian, Jiajun Wu
Unsupervised Learning of Shape Programs with Repeatable Implicit Parts. NeurIPS (2022)
Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
Hierarchical Motion Understanding via Motion Programs. CVPR (2021)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
Boolean functional synthesis: hardness and practical algorithms. Formal Methods Syst. Des. 57 (1) (2021)
Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
Hierarchical Motion Understanding via Motion Programs. CoRR (2021)
Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang
SPoC: Search-based Pseudocode to Code. CoRR (2019)
Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang
SPoC: Search-based Pseudocode to Code. NeurIPS (2019)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
What's Hard About Boolean Functional Synthesis? CAV (1) (2018)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
What's hard about Boolean Functional Synthesis. CoRR (2018)
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
SymPy: symbolic computing in Python. PeerJ Comput. Sci. 3 (2017)
Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak
Contract-based resource verification for higher-order functions with memoization. POPL (2017)
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
SymPy: Symbolic computing in Python. PeerJ Prepr. 4 (2016)