Tianyi Xu

2

Papers

27

Total Citations

Papers (2)

Herald: A Natural Language Annotated Lean 4 Dataset

AdaptiveAE: An Adaptive Exposure Strategy for HDR Capturing in Dynamic Scenes