…. Prof. Robert Dell Statement and Image of work on page 323 (2019). Zhekai Jin, Yifei Shao, Minjoon So, Carl Sable Neveen Shlayan , and Dirk Luchtenburg . “ A Multisensor Data Fusion Approach for Simultaneous Localization and Mapping ”. In: Proceedings of the 22nd IEEE Conference…

… (online appendix forthcoming) (datasheet and code forthcoming) Rai Rui Gao and Yifei Lu, " Aggregated Compensation Peer Group Disclosure and Managerial Labor Market Competition: A Network Analysis " ( online appendix ) Lindsey Gallo, Eva Labro, and James D. Omartian, " Internal …

…obabilistic Programming QED in Context: An Observation Study of Proof Assistant Users Sergey Goncharov Goncharov, Sergey University of Birmingham United Kingdom Bialgebraic Reasoning on Stateful Languages Big Steps in Higher-Order Mathematical Operational Semantics Léon Gondelman…

…e and Technology , Xueliang Wei Huazhong University of Science and Technology , YiFei Qu Huazhong University of Science and Technology , Dan Feng Huazhong University of Science and Technology, China , Yulai Xie Huazhong University of Science and Technology , Wei Tong Huazhong Uni…

…iversity 17:15 15m Talk QED in Context: An Observation Study of Proof Assistant Users OOPSLA Jessica Shi University of Pennsylvania Cassia Torczon University of Pennsylvania Harrison Goldstein University at Buffalo, the State University of New York at Buffalo Benjamin C. Pierce U…

…estigating and Explaining the Frequency Bias in Image Classification Zhiyu Lin, Yifei Gao, Jitao Sang PDF Details AttExplainer: Explain Transformer via Attention by Reinforcement Learning Runliang Niu, Zhepei Wei, Yan Wang, Qi Wang PDF Details Counterfactual Interpolation Augment…

…hen , Jianzhong Liu Tsinghua University , Yuhan Chen Central South Sniversity , Yifei Chu Tsinghua University , Qiang Zhang Hunan University , Guoyu Yin Central South University , Heyuan Shi Central South University , Yu Jiang Tsinghua University x Sun 26 Apr 02:45

…ite owners understand and improve user experience by analyzing things like: How users navigate the site Which pages are most/least visited How long users stay on each page What device, browser, or location the user is from What They Track: Some examples of data analytics cookies …

…ts (listed alphabetically): Annie Huang, Tianyi Li, Mihir Pathak, Arvind Raman, Yifei Shen, Katherine Tang Faculty Mentors: Radha Poovendran, Yan Li, Hongyu Yu 3rd Place (tie) Adaptive Drone Flight Using Real-Time 5G RF Data Sponsored by T-Mobile Students (listed alphabetically):…

…lsky (U Penn) |___ 1996 Xiaoqun Du (Cadence Design Systems/Bell Labs) |___ 2003 Yifei Dong (U. Oklahoma) |___ 2003 Samik Basu (Iowa State U.) Ian Somerville (St Andrews U., Scotland) |___ 1988 Murray Wood (U. Strathclyde, UK) | |___ 2006 Neil Walkinshaw (U. Leicester, UK) | |___ …

…uns on any web browser. It quickly went viral after its debut, reaching 150,000 users in its first three months. More than 563,000 people worldwide have used the tool so far. Global interest in Transformer Explainer continues when the team presents the tool at the 2026 Conference…

…iangle meshes from sketch inputs. Designed for interactive workflows, it allows users to iteratively delete and add mesh parts through simple sketch edits. MeshPad uses a Transformer-based triangle sequence model with fast speculative prediction, achieving significantly better ac…

…iversity 17:15 15m Talk QED in Context: An Observation Study of Proof Assistant Users OOPSLA Jessica Shi University of Pennsylvania , Cassia Torczon University of Pennsylvania , Harrison Goldstein University at Buffalo, the State University of New York at Buffalo , Benjamin C. Pi…

…utational Linguistics ( ACL ), 2023 Context-Aware Query Rewriting for Improving Users' Search Experience on E-commerce Websites Simiao Zuo, Qingyu Yin, Haoming Jiang, Shaohui Xi, Bing Yin, Chao Zhang, Tuo Zhao Annual Meeting of the Association for Computational Linguistics ( ACL …

…iversity 17:15 15m Talk QED in Context: An Observation Study of Proof Assistant Users SPLASH OOPSLA Jessica Shi University of Pennsylvania , Cassia Torczon University of Pennsylvania , Harrison Goldstein University at Buffalo, the State University of New York at Buffalo , Benjami…