Cite
Notes
Only stored in your browser.
Attribution
Formally Solving Answer-Construction Problems in Lean
arXiv 2025
EmergentTTS-Eval: Evaluating TTS Models on Complex Prosodic, Expressiveness, and Linguistic Challenges Using Model-as-a-Judge
from 2 papers
Alex Smola
Ao Li
Chris J. Maddison
Jialiang Sun
Kuldeep S. Meel
Mu Li
Ruskin Raj Manku
Xingjian Shi