RoboCup SPL 2015 Champion Team Paper. - Brad Hall; Sean Harris; Bernhard Hengst; Roger Liu; Kenneth Ng; Maurice Pagnucco; Luke Pearson; Claude Sammut; Peter Schmidt (RoboCup, 2015)

PlonKup: Reconciling PlonK with plookup. - Luke Pearson; Joshua Brian Fitzgerald; Héctor Masip; Marta Bellés-Muñoz; Jose Luis Muñoz-Tapia (IACR Cryptol. ePrint Arch., 2022)

Certifying Zero-Knowledge Circuits with Refinement Types. - Junrui Liu; Ian Kretz; Hanzhi Liu; Bryan Tan; Jonathan Wang; Yi Sun; Luke Pearson; Anders Miltner; Isil Dillig; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2023)

Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction. - Yanju Chen; Juson Xia; Bo Wen; Kyle Charbonnet; Hongbo Wen; Hanzhi Liu; Luke Pearson; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)