We have 3 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.
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.
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...
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.
