Bryan Tan

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 8

Top Topics

Inverse Reinforcement Learning

Character Recognition

Document Analysis

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. IACR Cryptol. ePrint Arch. 2023 (2023)
Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides
Datapath Verification via Word-Level E-Graph Rewriting. CoRR (2023)
Yang Yu, Jiahao Wang, Ashish Jith Sreejith Kumar, Bryan Tan, Navya Vanjavaka, Nurul Hafidzah Rahim, Alistair Koh, Shaheen Low, Yih Yian Sitoh, Hanry Yu, Pavitra Krishnaswamy, Ivan Ho Mien
A Multitask Framework for Label Refinement and Lesion Segmentation in Clinical Brain Imaging. MILLanD@MICCAI (2023)
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. CoRR (2023)
Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides
Datapath Verification via Word-Level E-Graph Rewriting. FMCAD (2023)
Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng
Learning Contract Invariants Using Reinforcement Learning. ASE (2022)
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
SolType: refinement types for arithmetic overflow in solidity. Proc. ACM Program. Lang. 6 (POPL) (2022)
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
SolType: Refinement Types for Solidity. CoRR (2021)