Towards Automatic Formal Feedback on Scientific Documents

Louise Bloch | Johannes Rückert | Christoph Friedrich |

Paper Details:

Month: July
Year: 2025
Location: Vienna, Austria
Venue: BEA | WS |