Jiyuan

jytan12

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 5 days ago

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

submitted a paper 5 days ago

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

upvoted a paper 8 days ago

CausalSmith: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference

View all activity

Organizations

Papers 1

arxiv:2607.22511

models 1

jytan12/causalean-retrieval

Sentence Similarity • 0.3B • Updated Sep 21 • 15

datasets 1

jytan12/causalsmith-runs

Updated 25 days ago • 422