Souymodip Chakraborty

According to our database, Souymodip Chakraborty authored at least 9 papers between 2014 and 2026.

Collaborative distances:

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

2026

VectorArk: Learning Practical Image Vectorization with Rounded Polygon Representation.

Tarun Gehlaut, Difan Liu, Charu Bansal, Krutik Malani, Souymodip Chakraborty, Ankit Phogat, Matthew Fisher, Vineet Batra

CoRR, May, 2026

2025

Beyond the Pixels: VLM-based Evaluation of Identity Preservation in Reference-Guided Synthesis.

Aditi Singhania, Krutik Malani, Riddhi Dhawan, Arushi Jain, Garv Tandon, Nippun Sharma, Souymodip Chakraborty, Vineet Batra, Ankit Phogat

CoRR, November, 2025

Taming Identity Consistency and Prompt Diversity in Diffusion Models via Latent Concatenation and Masked Conditional Flow Matching.

Aditi Singhania, Arushi Jain, Krutik Malani, Riddhi Dhawan, Souymodip Chakraborty, Vineet Batra, Ankit Phogat

CoRR, November, 2025

Image Vectorization via Gradient Reconstruction.

Souymodip Chakraborty, Vineet Batra, Ankit Phogat, Vishwas Jain, Jaswant Singh Ranawat, Sumit Dhingra, Kevin Wampler, Matthew Fisher, Michal Lukác

Comput. Graph. Forum, 2025

2019

New results on probabilistic verification: automata, logic and satisfiability.

Souymodip Chakraborty

PhD thesis, 2019

2016

On the Satisfiability of Some Simple Probabilistic Logics.

Souymodip Chakraborty, Joost-Pieter Katoen

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Modelling and statistical model checking of a microgrid.

Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec

Int. J. Softw. Tools Technol. Transf., 2015

Model Checking of Open Interval Markov Chains.

Souymodip Chakraborty, Joost-Pieter Katoen

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

2014

Parametric LTL on Markov Chains.

Souymodip Chakraborty, Joost-Pieter Katoen

Proceedings of the Theoretical Computer Science, 2014