Liang, Xiaodan

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Xin, H., Guo, D., Shao, Z., Ren, Z., Zhu, Q., Liu, B., Ruan, C., Li, W., & Liang, X. (2024) · arXiv

Mathematics, Computing, and Information ProcessingLogic, programming, and type systems

Cited by 8

TheaterGen: Character Management with LLM for Consistent Multi-turn Image Generation

Cheng, J., Yin, B., Cai, K., Huang, M., Li, H., He, Y., Lu, X., Li, Y., Li, Y., Cheng, Y., et al. (2024) · arXiv

Generative Adversarial Networks and Image SynthesisMultimodal Machine Learning Applications

Cited by 2