MMODELYST
People/Xingyue Huang
PPL

Xingyue Huang

Papers (2)
What are the Right Symmetries for Formal Theorem Proving?RelAgent: LLM Agents as Data Scientists for Relational Learning