4 papers
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…
SWE-Adept: An LLM-Based Agentic Framework for Deep Codebase Analysis and Structured Issue Resolution
Kang He, Kaushik Roy
Large language models (LLMs) exhibit strong performance on self-contained programming tasks. However, they still struggle with repository-level software engineering (SWE), which de…
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…
Gate-Tunable Semiconductor Heterojunctions from 2D/3D van der Waals Interfaces
Jinshui Miao, Xiwen Liu, Kiyoung Jo +8
Van der Waals (vdW) semiconductors are attractive for highly scaled devices and heterogeneous integration since they can be isolated into self-passivated, two-dimensional (2D) laye…