Publications (249)
Transformers Provably Learn Chain-of-Thought Reasoning with Length Generalization
Yu Huang, Zixin Wen, Aarti Singh +2
AI-Mediated Code Comment Improvement
Maria Dhakal, Chia-Yi Su, Robert Wallace +5
Agentic Transformers Provably Learn to Search via Reinforcement Learning
Tong Yang, Yu Huang, Yingbin Liang +1
Physics-Informed Neural Networks and Beyond: Enforcing Physical Constraints in Quantum Dissipative Dynamics
Arif Ullah, Yu Huang, Ming Yang +1
Context-aware Code Summary Generation
Chia-Yi Su, Aakash Bansal, Yu Huang +2
A Study on Developer Behaviors for Validating and Repairing LLM-Generated Code Using Eye Tracking and IDE Actions
Ningzhi Tang, Meng Chen, Zheng Ning +4
EyeLayer: Integrating Human Attention Patterns into LLM-Based Code Summarization
Jiahao Zhang, Yifan Zhang, Kevin Leach +1
Transformers Meet In-Context Learning: A Universal Approximation Theory
Gen Li, Yuchen Jiao, Yu Huang +2
AsyncFlow: An Asynchronous Streaming RL Framework for Efficient LLM Post-Training
Zhenyu Han, Ansheng You, Haibo Wang +16
Testability-Aware Low Power Controller Design with Evolutionary Learning
Min Li, Zhengyuan Shi, Zezhong Wang +3
Devaney's chaos revisited
Xiaoyi Wang, Yu Huang
Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
Tong Yang, Yu Huang, Yingbin Liang +1
The impact of electronic health records (EHR) data continuity on prediction model fairness and racial-ethnic disparities
Yu Huang, Jingchuan Guo, Zhaoyi Chen +6
CSS: A Large-scale Cross-schema Chinese Text-to-SQL Medical Dataset
Hanchong Zhang, Jieyu Li, Lu Chen +5
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
Zihan Fang, Yifan Zhang, Yueke Zhang +2
Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery
Yifan Zhang, Xiaohan Wang, Yueke Zhang +2
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime
Yiling Yang, Yu Huang, Jiannong Cao +1
AnomalyAID: Reliable Interpretation for Semi-supervised Network Anomaly Detection
Yachao Yuan, Yu Huang, Yingwen Wu +1
Attributed Rhetorical Structure Grammar for Domain Text Summarization
Ruqian Lu, Shengluan Hou, Chuanqing Wang +3
A Statistical Investigation of the Neupert Effect in Solar Flares Observed with ASO-S/HXI
Dong Li, Hanyang Dong, Wei Chen +3
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol
Kaile Huang, Hengfeng Wei, Yu Huang +2
Equi-invariability, bounded invariance complexity and L-stability for control systems
Xingfu Zhong, Zhijing Chen, Yu Huang
CPSAA: Accelerating Sparse Attention using Crossbar-based Processing-In-Memory Architecture
Huize Li, Hai Jin, Long Zheng +7
Proton-electron coupled catalyst for ionomer-free electrochemical energy conversion
Ao Zhang, Ran Wang, Mohammed O. Bazaid +14
Feasibility of Identifying Factors Related to Alzheimer's Disease and Related Dementia in Real-World Data
Aokun Chen, Qian Li, Yu Huang +7
Broadband gate-tunable THz plasmons in graphene heterostructures
Baicheng Yao, Yuan Liu, Shu-Wei Huang +10
Semantic Neighborhood Density and Eye Gaze Time in Human Programmer Attention
Robert Wallace, Emory Michaels, Yu Huang +1
CausalEmbed: Auto-Regressive Multi-Vector Generation in Latent Space for Visual Document Embedding
Jiahao Huo, Yu Huang, Yibo Yan +7
OphMAE: Bridging Volumetric and Planar Imaging with a Foundation Model for Adaptive Ophthalmological Diagnosis
Tienyu Chang, Zhen Chen, Renjie Liang +9
Observational signature of continuously operating drivers of decayless kink oscillation
Dong Li, Zhentong Li, Fanpeng Shi +7
On the Emergence of Implicit Curriculum in RLVR Learning Dynamics
Yu Huang, Zixin Wen, Yuejie Chi +4
MedMKEB: A Comprehensive Knowledge Editing Benchmark for Medical Multimodal Large Language Models
Dexuan Xu, Jieyi Wang, Zhongyan Chai +4
In-Context Convergence of Transformers
Yu Huang, Yuan Cheng, Yingbin Liang
OmniBioTwin: A System-of-Twinned-Systems Framework for Health Digital Twins
Zhaohui Wang, Yu Huang, Jiang Bian
Exponential stability of nonhomogeneous matrix-valued Markovian chains
Xiongping Dai, Tingwen Huang, Yu Huang
Specula: Scaling formal specifications for autonomous model checking of system code
Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6
Specula is an autonomous system that uses large language model agents to generate TLA+ specifications for complex system code and then applies model checking to discover bugs.
A Human Study of Cognitive Biases in Web Application Security
Yuwei Yang, Skyler Grandel, Daniel Balasubramanian +2
Gate-induced insulator to band-like transport transition in organolead halide perovskite
Dehui Li, Hung-Chieh Cheng, Hao Wu +5
How Coding Agents Fail Their Users: A Large-Scale Analysis of Developer-Agent Misalignment in 20,574 Real-World Sessions
Ningzhi Tang, Chaoran Chen, Gelei Xu +5
Dual-granularity Sinkhorn Distillation for Enhanced Learning from Long-tailed Noisy Data
Feng Hong, Yu Huang, Zihua Zhao +5
DatawiseAgent: A Notebook-Centric LLM Agent Framework for Adaptive and Robust Data Science Automation
Ziming You, Yumiao Zhang, Dexuan Xu +5
Pre-Training Representations of Binary Code Using Contrastive Learning
Yifan Zhang, Chen Huang, Yueke Zhang +3
7B Fully Open Source Moxin-LLM/VLM -- From Pretraining to GRPO-based Reinforcement Learning Enhancement
Pu Zhao, Xuan Shen, Zhenglun Kong +16
A Multi-Characteristic Learning Method with Micro-Doppler Signatures for Pedestrian Identification
Yu Xiang, Yu Huang, Haodong Xu +2
Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
Hui-Ling Zhen, Naixing Wang, Junhua Huang +3
The Effect of Choice of Metric and Scan Length on Reliability in Resting-State fMRI
Yu Huang, Philip T. Reiss, Seonjoo Lee +1
On the Learnability of Offline Model-Based Optimization: A Ranking Perspective
Shen-Huan Lyu, Rong-Xi Tan, Ke Xue +4
Guarding the Gate: ConceptGuard Battles Concept-Level Backdoors in Concept Bottleneck Models
Songning Lai, Yu Huang, Jiayu Yang +3
Direct Observation of Unidirectional Density Wave and Band splitting in a Single-Domain Trilayer Nickelate Pr$_4$Ni$_3$O$_{10}$
Zhicheng Jiang, Enkang Zhang, Yuxin Wang +12
Flexible generation of daily Earth system model projections across radiative forcing scenarios
Yu Huang, Sebastian Bathiany, Shangshang Yang +3
Learning to Equalize: Data-Driven Frequency-Domain Signal Recovery in Molecular Communications
Cheng Xiang, Yu Huang, Miaowen Wen +2
MalMixer: Few-Shot Malware Classification with Retrieval-Augmented Semi-Supervised Learning
Jiliang Li, Yifan Zhang, Yu Huang +1
Modeling Programmer Attention as Scanpath Prediction
Aakash Bansal, Chia-Yi Su, Zachary Karas +4
Towards barrier free contact to MoS2 using graphene electrodes
Yuan Liu, Hao Wu, Hung Chieh Cheng +9
Exploring Direct Instruction and Summary-Mediated Prompting in LLM-Assisted Code Modification
Ningzhi Tang, Emory Smith, Yu Huang +2
Very long-periodic pulsations detected simultaneously in a white-light flare and sunspot penumbra
Dong Li, Jincheng Wang, Yu Huang
Subwavelength Coherent Scaling of High-Order Nonlinear Light Generation in Bulk Monolayer MoS2 Thin Films
Boxuan Zhou, Yuancheng Jing, Chun-Chieh Yu +7
Acoustic Interference: A New Paradigm Weaponizing Acoustic Latent Semantic for Universal Jailbreak against Large Audio Language Models
Yanyun Wang, Yu Huang, Zi Liang +2
Edge effect on resistance scaling rules in graphene nanostructures
Guangyu Xu, Carlos M. Torres, Jianshi Tang +6
Mutual Information Rate of Gaussian and Truncated Gaussian Inputs on Intensity-Driven Signal Transduction Channels
Xuan Chen, Fei Ji, Miaowen Wen +2
A Visual Semantic Adaptive Watermark grounded by Prefix-Tuning for Large Vision-Language Model
Qi Zheng, Shuliang Liu, Yu Huang +8
A class of multiplicative splitting iterations for solving the continuous Sylvester equation
Yu Huang, Mohammad Khorsand Zak, Emran Tohidi
An Overview about Emerging Technologies of Autonomous Driving
Yu Huang, Yue Chen, Zijiang Yang
Van der Waals heterojunction devices based on organohalide perovskites and two-dimensional materials
Hung-Chieh Cheng, Gongming Wang, Dehui Li +7
ST-PCNN: Spatio-Temporal Physics-Coupled Neural Networks for Dynamics Forecasting
Yu Huang, James Li, Min Shi +5
Conditional diffusion models for downscaling and bias correction of Earth system model precipitation
Michael Aich, Philipp Hess, Baoxiang Pan +3
Analysis of Molecule Harvesting by Heterogeneous Receptors on MC Transmitters
Xinyu Huang, Yu Huang, Miaowen Wen +2
Wafer-scale growth of large arrays of perovskite microplate crystals for functional electronics and optoelectronics
Gongming Wang, Dehui Li, Hung-Chieh Cheng +11
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
Lingzhi Ouyang, Yu Huang, Binyu Huang +1
CO in MASsive Spirals (CO-MASS): an IRAM 30m CO emission line survey of the CGM-MASS sample
Yu Huang, Jiangtao Li, Yan Jiang +4
Multi-Grained Specifications for Distributed System Model Checking and Verification
Lingzhi Ouyang, Xudong Sun, Ruize Tang +4
Programmer Visual Attention During Context-Aware Code Summarization
Robert Wallace, Aakash Bansal, Zachary Karas +4
What Makes for Robust Multi-Modal Models in the Face of Missing Modalities?
Siting Li, Chenzhuang Du, Yue Zhao +2
Chaotic Characteristic of Discrete-time Linear Inclusion Dynamical Systems
Xiongping Dai, Tingwen Huang, Yu Huang +1
Verifying Transactional Consistency of MongoDB
Hongrong Ouyang, Hengfeng Wei, Yu Huang +2
On hyperbolic and functional analogues of questions of Grünbaum and Loewner
Yu Huang, Sergii Myroshnychenko, Kateryna Tatarko +1
Pronounced orbital-selective electron-electron correlation and electron-phonon coupling in V2Se2O
Mingzhe Hu, Ziyin Song, Jingwen Cheng +16
Observations of Electron-driven Evaporation during a Flare Precursor
Dong Li, Ying Li, Wei Su +2
DeepGate: Learning Neural Representations of Logic Gates
Min Li, Sadaf Khan, Zhengyuan Shi +3
Unveiling the charge density wave mechanism in vanadium-based Bi-layered kagome metals
Yi-Chen Yang, Soohyun Cho, Tong-Rui Li +18
SAIL: Structure-Aware Interpretable Learning for Anatomy-Aligned Post-hoc Explanations in OCT
Tienyu Chang, Tianhao Li, Ruogu Fang +2
Standard-quantum-limit-surpassing vector polarimetry using Rydberg atoms in an SU(1,1) interferometer
Weiqiang Guan, Yuetao Chen, Jun Zhou +3
$^{12}$CO $J$=3--2 Observations of Tycho's supernova remnant: constraints on the environmental gas properties
Sendi Bo, Yu Huang, Ping Zhou +5
Contextuality as a Left Adjoint: A Categorical Generation of Orthomodular Structure
Yukio-Pegio Gunji, Yoshihiko Ohzawa, Yuki Tokuyama +2
Stability Criteria via Common Non-strict Lyapunov Matrix for Discrete-time Linear Switched Systems
Xiongping Dai, Yu Huang, Mingqing Xiao
The State and Future of Genetic Improvement
William B. Langdon, Westley Weimer, Christopher Timperley +9
STAMPsy: Towards SpatioTemporal-Aware Mixed-Type Dialogues for Psychological Counseling
Jieyi Wang, Yue Huang, Zeming Liu +7
EyeTrans: Merging Human and Machine Attention for Neural Code Summarization
Yifan Zhang, Jiliang Li, Zachary Karas +5
Inversion-based Measurement of Data Consistency for Read/Write Registers
Yu Huang, Hengfeng Wei, Maosen Huang +1
Low Complexity First: Duration-Centric ISI Mitigation in Molecular Communication via Diffusion
Xuan Chen, Fei Ji, Miaowen Wen +3
AndroTMem: From Interaction Trajectories to Anchored Memory in Long-Horizon GUI Agents
Yibo Shi, Jungang Li, Linghao Zhang +25
Methodology for In-flight Flat-field Calibration of the Lyman-alpha Solar Telescope (LST)
Jing-Wei Li, Hui Li, Ying Li +6
Snippet Policy Network for Multi-class Varied-length ECG Early Classification
Yu Huang, Gary G. Yen, Vincent S. Tseng
LHNN: Lattice Hypergraph Neural Network for VLSI Congestion Prediction
Bowen Wang, Guibao Shen, Dong Li +7
Privacy-Aware Data Cleaning-as-a-Service (Extended Version)
Yu Huang, Mostafa Milani, Fei Chiang
A Statistical Study of Solar White-Light Flares Observed by the White-light Solar Telescope of the Lyman-alpha Solar Telescope on the Advanced Space-based Solar Observatory (ASO-S/LST/WST) at 360 nm
Zhichen Jing, Ying Li, Li Feng +26
Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
Yu Huang, Jianping Yu, Jiannong Cao +3
DenoiseFlow: Uncertainty-Aware Denoising for Reliable LLM Agentic Workflows
Yandong Yan, Junwei Peng, Shijie Li +7
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems
Hengfeng Wei, Yu Huang, Jiannong Cao +1
Cerebra: A Multidisciplinary AI Board for Multimodal Dementia Characterization and Risk Assessment
Sheng Liu, Long Chen, Zeyun Zhao +16