Hugging Face's logo
Jiyuan's picture

Jiyuan

jytan12
1 4
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 18 days ago
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
submitted a paper 18 days ago
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
upvoted a paper 21 days ago
CausalSmith: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference
View all activity

Organizations

Stanford Causal AI Lab's profile picture