fp.
newest
Open in hackernews
Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving
https://arxiv.org/abs/2608.25220
2
•
henryrobbins00
•
1h ago