Peiyang Song
p-song1
AI & ML interests
Machine Learning, Natural Language Processing, Neuro-Symbolic Reasoning, AI for Mathematics
Recent Activity
authored
a paper
5 days ago
Adaptation of Agentic AI
upvoted
a
paper
6 days ago
Adaptation of Agentic AI
authored
a paper
7 days ago
LeanAgent: Lifelong Learning for Formal Theorem Proving
Organizations
