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...
It is found that planting harmful but benign-sounding reasoning in the actor's context can steer it to perform adversarial actions while evading monitors, an attack the authors term"plan injection".
Keertana Chidambaram, Andrew Ilyas, Vasilis Syrgkanis· 0 citations
We propose a generalization of the synthetic control methods to the setting with dynamic treatment effects, in which each unit receives multiple treatments sequentially, according to an adaptive policy that depends on a latent, endogenously time-varying confounding state. Under a low-rank latent factor model assumption...
Anish Agarwal, Sukjin Han, Dwaipayan Saha et al.· 3 citations
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.
