Filtered_publications

MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts

Yifan Shen, Yangyang Shu, Hye-Young Paik, Yulei Sui

Jan 1, 2026

On Graded Coeffect Types for Information-Flow Control

Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer

Jan 1, 2026

SoK: The Security-Safety Continuum of Multimodal Foundation Models through Information Flow and Global Game-Theoretic Analysis of Asymmetric Threats

R. Sun, J. Chang, H. Pearce, C. Xiao, B. Li, Q. Wu, S. Nepal, M. Xue

Jan 1, 2026

TRACE: Textual Relevance Augmentation and Contextual Encoding for Multimodal Hate Detection

G a Koushik, H Treharne, Aditya Joshi, D Kanojia

Jan 1, 2026

A survey of classification tasks and approaches for legal contracts

A Singh, Aditya Joshi, Jiaojiao Jiang, H Y Paik

Dec 1, 2025

Achoio: A Skill-Aware Evaluation Management System for Text-To-Speech Research

Haowei Lou, Hye-Young Paik, Basem Suleiman, Wen Hu, Lina Yao

Nov 1, 2025

Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback

Jason Blocklove, Shailja Thakur, Benjamin Tan, Hammond Pearce, Siddharth Garg, Ramesh Karri

Nov 1, 2025

FLAG: F inding L ine A nomalies (in RTL code) with G enerative AI

Baleegh Ahmad, Joey Ah-Kiow, Benjamin Tan, Ramesh Karri, Hammond Pearce

Nov 1, 2025

Introduction to Special Issue on Large Language Models for Electronic System Design Automation

Robert Paul Dick, Hammond Pearce, Li Shang, Fan Yang

Nov 1, 2025

ParaStyleTTS: Toward Efficient and Robust Paralinguistic Style Control for Expressive Text-to-Speech Generation

Haowei Lou, Hye-Young Paik, Wen Hu, Lina Yao

Nov 1, 2025