3 papers
cs.AR2026
DRC-Aid: Design-Rule Correction via Agentic Framework utilizing Inference-Time Large Language Models
Anushka Mukherjee, Kang He, Kaushik Roy
Resolving Design Rule Violations (DRVs) in layouts entails an iterative loop of geometric edits and verification. We present DRC-Aid, a closed-loop agentic framework that automates…
cs.CL2025
LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models
Kang He, Kaushik Roy
Large language models (LLMs) have achieved remarkable multi-step reasoning capabilities across various domains. However, LLMs still face distinct challenges in complex logical reas…
cs.CV2024
Panoptic Diffusion Models: co-generation of images and segmentation maps
Yinghan Long, Kaushik Roy
Recently, diffusion models have demonstrated impressive capabilities in text-guided and image-conditioned image generation. However, existing diffusion models cannot simultaneously…