Aleksander Petrov

Identifiers

No identifiers captured yet.

Papers (1)

1. AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems cs.LG · 2026 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Antonio Papania-Davis 1 shared papers
• Christopher Davis 1 shared papers
• Chuan Du 1 shared papers
• Philip Torr 1 shared papers
• Sumeet Ramesh Motwani 1 shared papers
• Weishi Yan 1 shared papers