Anima AI+Science Lab

AI & ML interests

AI4Science, Neural Operators, Tensor-based methods

Recent Activity

RKocielnik  updated a dataset 14 days ago

AnimaLab/bias-test-gpt-biases

p-song1  authored a paper about 1 month ago

Adaptation of Agentic AI

p-song1  authored a paper about 1 month ago

LeanAgent: Lifelong Learning for Formal Theorem Proving

View all activity

Team members 37