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
29 days ago
Adaptation of Agentic AI
upvoted
a
paper
30 days ago
Adaptation of Agentic AI
authored
a paper
about 1 month ago
LeanAgent: Lifelong Learning for Formal Theorem Proving
Organizations
models
0
None public yet
datasets
0
None public yet