arxiv:2512.16301
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
5 days ago
Adaptation of Agentic AI
authored
a paper
7 days ago
LeanAgent: Lifelong Learning for Formal Theorem Proving
Organizations
models
0
None public yet
datasets
0
None public yet