Modeling Tactics as Operators: Effect-Grounded Representations for Lean Theorem Proving

Elisaveta Samoylov | Soroush Vosoughi |

Paper Details:

Month: November
Year: 2025
Location: Suzhou, China
Venue: MathNLP | WS |

Citations

URL

No Citations Yet

Field Of Study