Hi!:) I'm an undergrad studying Math and CS at Brown. Broadly, I hope to build the formal and empirical infrastructure for
trustworthy machine learning along two complementary dimensions:
-
Reasoning: What structures and learning principles support reasoning in AI systems?
I’m exploring mathematical approaches to model design and learning, drawing from neurosymbolic and control-theoretic paradigms.
My work has focused on AI4Math, theorem proving, and program synthesis, with broader interests in reasoning beyond formal domains.
-
Evaluation: How do we substantiate trustworthiness claims about ML systems through systematic evaluation?
I'm interested in designing evaluation methods and auditing/governance mechanisms built around them, that attach formal or statistical evidence to model properties,
from specification conformance and robustness to value alignment and supply-chain provenance.
Below are selected publications;
more are available in my CV and Google Scholar
(* marks equal contribution).
-
Jiayi Wu, Robert Joseph George, Anima Anandkumar.
ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers.
NeurIPS 2026.
[Paper]
[Code]
[Data]
[Project Page]
-
Chance Jiajie Li*, Jiayi Wu*, Zhenze Mo, Ao Qu, Yuhan Tang, Kaiya Ivy Zhao, Yulu Gan, Jie Fan, Jiangbo Yu, Jinhua Zhao, Paul Pu Liang, Luis Alberto Alonso Pastor, Kent Larson.
Simulating Society Requires Simulating Thought.
NeurIPS 2025.
[Paper]
[Project Page]
-
Elinor Poole-Dayan, Jiayi Wu, Taylor Sorensen, Jiaxin Pei, Michiel A. Bakker.
Benchmarking Overton Pluralism in LLMs.
ICLR 2026.
[Paper]
[Code]
[Data]
[Project Page]
-
Chance Jiajie Li, Zhenze Mo, Yuhan Tang, Ao Qu, Jiayi Wu, Kaiya Ivy Zhao, Yulu Gan, Jie Fan, Jiangbo Yu, Hang Jiang, Paul Pu Liang, Jinhua Zhao, Luis Alberto Alonso Pastor, Kent Larson.
HugAgent: Benchmarking LLMs for Simulation of Individualized Human Reasoning.
EMNLP 2026 (Oral).
[Paper]
[Code]
[Project Page]
Outside of research, I work with communities that connect technology with governance and public-interest perspectives:
I’m co-directing the Technology & Science Policy (TASP) Summit at Brown Center for Technological Responsibility (CNTR);
previously, I was co-president of Brown’s AI Robotics Ethics Society (AIRES)
and co-director of the AI Governance Panel at Brown China Summit.
Misc: I enjoy cold brew, taking on plank challenges,
roaming through the neighborhoods and community spaces I'm involved in 🏘️🌳,
and the Rock's basement stacks
-- send me book recs!
