Jiyuan
jytan12
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 2 hours ago
jytan12/causalsmith-runs updated a model about 2 hours ago
jytan12/causalean-retrieval upvoted a paper 19 days ago
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in LeanOrganizations
