Skip to content

Author

Jiyuan Tan

2 papers indexed here

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.

#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

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.