Anima AI+Science Lab

AI & ML interests

AI4Science, Neural Operators, Tensor-based methods

Recent Activity

RKocielnik  updated a dataset about 9 hours ago

AnimaLab/bias-test-gpt-biases

p-song1  authored a paper 17 days ago

Adaptation of Agentic AI

p-song1  authored a paper 19 days ago

LeanAgent: Lifelong Learning for Formal Theorem Proving

View all activity

Team members 37