Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Minrui Chen
conf.researchr.org general profile
FM 2026 profile
Registered user since Fri 20 Feb 2026
Name:
Minrui Chen
Contributions
2026
FM
Author of SAPSE-Synergy: Balancing Formal Soundness and Empirical Coverage in Neural Theorem Proving within the Research Track-track
Share
x
Sat 27 Jun 01:17
