124 citations · 301 across the 32 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
GenesisGeo: Technical Report
Minfeng Zhu, Zi Wang, Sizhe Ji +8
Recent neuro-symbolic geometry theorem provers have made significant progress on Euclidean problems by coupling neural guidance with symbolic verification. However, most existing s…
cs.AI2023★ 124 cited
PromptMagician: Interactive Prompt Engineering for Text-to-Image Creation
Yingchaojie Feng, Xingbo Wang, Kam Kwai Wong +5
Generative text-to-image models have gained great popularity among the public for their powerful capability to generate high-quality images based on natural language prompts. Howev…