Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hyojae Lim
conf.researchr.org general profile
FM 2026 profile
Not registered as user
Name:
Hyojae Lim
Country:
South Korea
Affiliation:
Korea Institute for Advanced Study (KIAS)
Contributions
2026
FM
Author of Toward Textbook-Scale Autoformalization with Large Language Models within the Workshop: AIPV-track
Share
x
Sat 24 Oct 03:48