Xiaoyu Wang

Simulation-Driven Automated End-to-End Test and Oracle Inference

2023 · arXiv (Cornell University)

This is the first work to report on inferential testing at scale in industry. Specifically, it reports the experience of automated testing of integrity systems at Meta. We built an internal tool called ALPACAS for …

Hybrid KANN-DBSCAN with KNN for Anomaly Detection of Power Plug-in Board

2023

Power plug-in boards are critical components of power control systems, straight influencing the safety and performance of the latter. The diverse categories of plug-in boards in power control systems pose challenges for traditional anomaly detection …

MeTHanol: Modularized Thinking Language Models with Intermediate Layer Thinking, Decoding and Bootstrapping Reasoning

2024 · arXiv (Cornell University)

Current research efforts are focused on enhancing the thinking and reasoning capability of large language model (LLM) by prompting, data-driven emergence and inference-time computation. In this study, we consider stimulating language model's thinking and cognitive …