Join free with your email
Free. No spam, ever — we'll never share your email address and you can opt out at any time. Already a subscriber? Log in
Researcher with public evidence across AI research.
Paper: arxiv.org/abs/2608.25220 Code + benchmark: flare.henryrobbins.com Led by my student Henry Robbins, with @lawlessopt.bsky.social and Madeleine Udell. Benchmark: 20 problems, 109 formulations, 63 valid pairs with Lean proofs, and 26 invalid pairs.
LLMs can rewrite your optimization problem to improve solve time, pass every test, and still silently change the problem. Our new paper introduces FLARE, an LLM agent that uses Lean to prove that a MILP reformulation is valid across all possible problem instances, not just those used for testing.
Center = Ellen Vitercik. Left = members they follow (green edges). Right = members who follow them (blue edges). Top = mutual follows (orange edges, slightly larger). Drag any node to reposition; click to open that profile.
Add the Who’s Who of AI badge to your site or bio. It links back to this profile.
Markdown: [](https://aiweekly.co/whos-who/person/ellen-v-bsky-social)