Yin, D., & Gao, J. (2025). Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs.
Citazione stile Chigago Style (17a edizione)Yin, David, e Jing Gao. Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs. 2025.
Citatione MLA (9a ed.)Yin, David, e Jing Gao. Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.