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
Wed 28 Oct 14:35