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