Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Junchi Yan
conf.researchr.org general profile
CISOSE 2025 profile
ICFP/SPLASH 2025 profile
Registered user since Fri 1 Nov 2024
Name:
Junchi Yan
Contributions
2025
LMPL
Author of The LLM Era Demands Natural-Language-Aligned Theorem Provers for Mathematics within the LMPL 2025-track
CISOSE
Committee Member in Program Commitee Members within the IEEE BigDataService 2025-track
Share
x
Sun 26 Oct 20:47