2025
FLUX.1 Kontext: Flow Matching for In-Context Image Generation and Editing in Latent Space.
CoRR, June, 2025

2024
Scaling Rectified Flow Transformers for High-Resolution Image Synthesis.
CoRR, 2024

Scaling Rectified Flow Transformers for High-Resolution Image Synthesis.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023
Stable Video Diffusion: Scaling Latent Video Diffusion Models to Large Datasets.
CoRR, 2023

Putting People in Their Place: Affordance-Aware Human Insertion into Scenes.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022
Unsupervised Learning of Shape Programs with Repeatable Implicit Parts.
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.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

2021
Boolean functional synthesis: hardness and practical algorithms.
Formal Methods Syst. Des., 2021

Hierarchical Motion Understanding via Motion Programs.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2019
SPoC: Search-based Pseudocode to Code.
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?
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
SymPy: symbolic computing in Python.
PeerJ Comput. Sci., 2017

Contract-based resource verification for higher-order functions with memoization.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
SymPy: Symbolic computing in Python.
PeerJ Prepr., 2016