Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Sumith Kulal | Researchclopedia

Back to researchers

Sumith Kulal

24

Works

1,935

Citations

10

h-index

10

i10-index

Research Topics

Parallel Computing and Optimization Techniques Logic, programming, and type systems Computational Physics and Python Applications

Affiliations

Indian Institute of Technology Bombay2016–2018

Stanford University2019–2023

Top Works

SymPy: symbolic computing in Python

Aaron Meurer,Christopher P. Smith,et al.

20171,594 citations

Formal Methods in Verification

Human Pose and Action Recognition

SymPy: Symbolic computing in Python

Aaron Meurer,Christopher P. Smith,et al.

201694 citations

Scaling Rectified Flow Transformers for High-Resolution Image Synthesis

Patrick Esser,Sumith Kulal,et al.

202484 citations

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

Sumith Kulal,Tim Brooks,et al.

202330 citations

SymPy: Symbolic computing in Python

Aaron Meurer,Christopher P. Smith,et al.

201628 citations

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

Ravichandhran Madhavan,Sumith Kulal,et al.

201619 citations

What’s Hard About Boolean Functional Synthesis?

S. Akshay,Supratik Chakraborty,et al.

201818 citations

Hierarchical Motion Understanding via Motion Programs

Sumith Kulal,Jiayuan Mao,et al.

202113 citations

SPoC: Search-based Pseudocode to Code

Sumith Kulal,Panupong Pasupat,et al.

201911 citations