Author

Yilun Du

h-index 2 View on Semantic Scholar

We have 2 of 7 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Aug 2026

MatrAIx: Simulating the World with 8.3 Billion Persona Agents

MatrAIx is introduced, a population-scale simulated-user evaluation infrastructure for testing AI systems and digital products with heterogeneous users and provides an end-to-end infrastructure for evaluating AI systems and digital products with diverse simulated human users.

Xiaomin Li, Yuexing Hao, Jian Hou et al. · 1 citation

Preprint Jul 2026

Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs

This work proposes Formal Disco: a distributed system for coordination of LLM-based workers that can be easily applied to open-ended synthetic data generation at scale and proposes a principle of maximum entropy for synthetic program generation.

Gabriel Poesia, Simon Henniger, Tzu-Han Hsu et al. · 0 citations