Cruise Song

According to our database, Cruise Song authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

CoRR, October, 2025

2024

Formalizing Finite Ramsey Theory in Lean 4.

David E. Narváez, Cruise Song, Ningxin Zhang

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024