An adaptive Graphics Analyzer as a Preference-Oriented Interface. - Marek Holynski; Robert Garneau; Michael Lu (ACM SIGCHI Bull., 1987)

Real-Time Formal Verification of Autonomous Systems With An FPGA. - Minh Bui; Michael Lu; Reza Hojabr; Mo Chen; Arrvindh Shriraman (CoRR, 2020)

Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA. - Minh Bui; Michael Lu; Reza Hojabr; Mo Chen 001; Arrvindh Shriraman (IROS, 2021)

A Simultaneous Bidirectional Single-Ended Coaxial Link With 24-Gb/s Forward and 312.5-Mb/s Back Channels. - Abishek Manian; Amit Rane; Yongseon Koh; Harsheen Kaur Nat; Michael Lu (IEEE J. Solid State Circuits, 2021)

InfraredTags: Embedding Invisible AR Markers and Barcodes Using Low-Cost, Infrared-Based 3D Printing and Imaging Tools. - Mustafa Doga Dogan; Ahmad Taka; Michael Lu; Yunyi Zhu; Akshat Kumar; Aakar Gupta; Stefanie Müller 001 (CHI, 2022)

Evaluation of the Segment Anything Model (SAM) for Brain Tumor Segmentation. - Mohammad Peivandi; Jason Zhang; Michael Lu; Chengyin Li; Dongxiao Zhu; Zhifeng Kou (ISBI, 2024)

Towards Principled, Practical Policy Gradient for Bandits and Tabular MDPs. - Michael Lu; Matin Aghaei; Anant Raj; Sharan Vaswani (RLJ, 2024)

NewsInterview: a Dataset and a Playground to Evaluate LLMs' Ground Gap via Informational Interviews. - Michael Lu; Hyundong Justin Cho; Weiyan Shi; Jonathan May; Alexander Spangher (CoRR, 2024)

NewsInterview: a Dataset and a Playground to Evaluate LLMs' Grounding Gap via Informational Interviews. - Alexander Spangher; Michael Lu; Sriya Kalyan; Hyundong Justin Cho; Tenghao Huang; Weiyan Shi; Jonathan May (ACL (1), 2025)

Safe Learning in the Real World via Adaptive Shielding with Hamilton-Jacobi Reachability. - Michael Lu; Jashanraj Gosain; Luna Sang; Mo Chen (L4DC, 2025)

Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning. - Shaun Lee Baek; Shaun Esua-Mensah; Cyrus Tsui; Sejan Vigneswaralingam; Abdullah Alali; Michael Lu; Vasu Sharma; Kevin Zhu (NAACL (Student Research Workshop), 2025)

Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning. - Shaun Lee Baek; Shaun Esua-Mensah; Cyrus Tsui; Sejan Vigneswaralingam; Abdullah Alali; Michael Lu; Vasu Sharma; Sean O'Brien; Kevin Zhu (CoRR, 2025)

Rethinking the Global Convergence of Softmax Policy Gradient with Linear Function Approximation. - Max Qiushi Lin; Jincheng Mei; Matin Aghaei; Michael Lu; Bo Dai 001; Alekh Agarwal; Dale Schuurmans; Csaba Szepesvári; Sharan Vaswani (CoRR, 2025)

Distill CLIP (DCLIP): Enhancing Image-Text Retrieval via Cross-Modal Transformer Distillation. - Daniel Csizmadia; Andrei Codreanu; Victor Sim; Vighnesh Prabhu; Michael Lu; Kevin Zhu; Sean O'Brien; Vasu Sharma (CoRR, 2025)

NovelHopQA: Diagnosing Multi-Hop Reasoning Failures in Long Narrative Contexts. - Abhay Gupta; Michael Lu; Kevin Zhu; Sean O'Brien; Vasu Sharma (CoRR, 2025)

Rewrite-to-Rank: Optimizing Ad Visibility via Retrieval-Aware Text Rewriting. - Chloe Ho; Ishneet Sukhvinder Singh; Diya Sharma; Tanvi Reddy Anumandla; Michael Lu; Vasu Sharma; Kevin Zhu (CoRR, 2025)