Follow
Sumith Kulal
Title
Cited by
Cited by
Year
SymPy: symbolic computing in Python
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
PeerJ Computer Science 3, e103, 2017
15702017
Stable video diffusion: Scaling latent video diffusion models to large datasets
A Blattmann, T Dockhorn, S Kulal, D Mendelevitch, M Kilian, D Lorenz, ...
arXiv preprint arXiv:2311.15127, 2023
2362023
Spoc: Search-based pseudocode to code
S Kulal, P Pasupat, K Chandra, M Lee, O Padon, A Aiken, PS Liang
Advances in Neural Information Processing Systems 32, 2019
1672019
Scaling rectified flow transformers for high-resolution image synthesis
P Esser, S Kulal, A Blattmann, R Entezari, J Müller, H Saini, Y Levi, ...
Forty-first International Conference on Machine Learning, 2024
772024
Contract-based resource verification for higher-order functions with memoization
R Madhavan, S Kulal, V Kuncak
ACM SIGPLAN Symposium on Principles of Programming Languages 52 (1), 330-343, 2017
402017
What’s hard about Boolean functional synthesis?
S Akshay, S Chakraborty, S Goel, S Kulal, S Shah
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
302018
Putting People in Their Place: Affordance-Aware Human Insertion into Scenes
S Kulal, T Brooks, A Aiken, J Wu, J Yang, J Lu, AA Efros, KK Singh
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023
222023
Hierarchical motion understanding via motion programs
S Kulal, J Mao, A Aiken, J Wu
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2021
132021
Boolean functional synthesis: hardness and practical algorithms
S Akshay, S Chakraborty, S Goel, S Kulal, S Shah
Formal Methods in System Design 57, 53-86, 2021
112021
Unsupervised Learning of Shape Programs with Repeatable Implicit Parts
B Deng, S Kulal, Z Dong, C Deng, Y Tian, J Wu
Advances in Neural Information Processing Systems, 2022
102022
Programmatic concept learning for human motion description and synthesis
S Kulal, J Mao, A Aiken, J Wu
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2022
62022
Space Leaks Exploration in Haskell
S Kulal, R Ganvir, S Sudhakaran
Indian Institute of Technology Bombay Mumbai, 0
1
Affordance-based reposing of an object in a scene
S Kulal, KK Singh, J Yang, J LU, A Efros
US Patent App. 18/058,528, 2024
2024
Scalable Synthesis with Symbolic Syntax Graphs
R Shah, S Kulal, R Bodik
Workshop on Synthesis (SYNT) 2018, 0
The system can't perform the operation now. Try again later.
Articles 1–14