AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
We have 6 of 179 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.
PaperFormalizer, a Lean-based agentic pipeline that helps authors find and close small gaps in their own papers and turn each paper into a Lean-verified version, aims to make research that rests on mathematical proofs more robust.
In this paper, we develop an asymptotically normal estimator for the value of policy improvement (VPI) under adaptively collected data. This value, which is defined as the gap between the value of the best treatment policy in a class and that of a baseline policy, gauges whether or not it is worth deploying a personali...
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".
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...
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.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.