ZF
Zhoulai Fu
cs.PLcs.SEcs.AIcs.LGcs.PFcs.CV
On Valency
published · living versionsW_z7xsk3ye·v1 · currentpublished
Cost-Aware Stopping for Freeze-Thaw Bayesian Optimization: When Does One-Step Lookahead Suffice?
with Long Vu, Jongseong Brad Choi, Binoy Ravindran
1 version
Preprints & journals
9 papers in the corpus · 2016–2026ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation2604.04527v1 · Hohyun Sim, Hyeonjoong Cho, Ali Shokri et al.2026 · 0 citationsarXiv
Scalable Floating-Point Satisfiability via Staged Optimization2601.04492v1 · Yuanzhuo Zhang, Zhoulai Fu, Binoy Ravindran2026 · 1 citationarXiv
Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models2505.15858v3 · HoHyun Sim, Hyeonjoong Cho, Yeonghyeon Go et al.2025 · 2 citationsarXiv
Augmented Weak Distance for Fast and Accurate Bounds Checking2505.14213v1 · Zhoulai Fu, Freek Verbeek, Binoy Ravindran2025 · 0 citationsarXiv
Revisiting 16-bit Neural Network Training: A Practical Approach for Resource-Limited Learning2305.10947v7 · Juyoung Yun, Sol Choi, Francois Rameau et al.2023 · 1 citationarXiv
The Hidden Power of Pure 16-bit Floating-Point Neural Networks2301.12809v2 · Juyoung Yun, Byungkon Kang, Zhoulai Fu2023 · 2 citationsarXiv
Towards Efficient Data-flow Test Data Generation1803.10431v2 · Ting Su, Chengyu Zhang, Yichen Yan et al.2018 · 5 citationsarXiv
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)1704.03394v1 · Zhoulai Fu, Zhendong Su2017 · 0 citationsarXiv
Mathematical Execution: A Unified Approach for Testing Numerical Code1610.01133v1 · Zhoulai Fu, Zhendong Su2016 · 4 citationsarXiv
Career total: 28 works. 9 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.