Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bingxu Xiao
conf.researchr.org general profile
FSE 2026 profile
Not registered as user
Name:
Bingxu Xiao
Affiliation:
Northwestern Polytechnical University
Contributions
2026
ESEC/FSE
Author of ProofFusion: Improving Neural Theorem Proving via Adaptive Retrieval-Augmented Reasoning within the Research Papers-track
Share
x
Mon 25 May 20:30