Tanriverdi, Ahmet Ege

2 publications

ICLR 2026 ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi, Cruise Song, Sriram Vishwanath, Vijay Ganesh

CoRL 2024 Fleet Supervisor Allocation: A Submodular Maximization Approach Oguzhan Akcin, Ahmet Ege Tanriverdi, Kaan Kale, Sandeep P. Chinchali