Anima AI+Science Lab

AI & ML interests

AI4Science, Neural Operators, Tensor-based methods

Recent Activity

p-song1  authored a paper 7 days ago

Adaptation of Agentic AI

p-song1  authored a paper 9 days ago

LeanAgent: Lifelong Learning for Formal Theorem Proving

p-song1  authored a paper 9 days ago

The Personality Illusion: Revealing Dissociation Between Self-Reports & Behavior in LLMs

View all activity

Team members 36