Author

Jiyuan Tan

h-index 2 View on Semantic Scholar

We have 2 of 12 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review 2026

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

CausalForge is presented, a framework for automated theoretical research in causal inference grounded in the Lean proof assistant, which combines Causalean, a foundational Lean library for causal inference, with CausalSmith, a self-improving agentic pipeline that selects research topics, proposes results, formalizes st...

Ji-Yuan Tan, Vasilis Syrgkanis · arXiv.org · 0 citations

#machine learning Review Jul 2026

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

A framework for automated theoretical research in causal inference built on the Lean proof assistant, where a proof is checked by a program rather than read by a referee is presented, where a proof is checked by a program rather than read by a referee.

Jiyuan Tan, Vasilis Syrgkanis · 0 citations