Anima AI+Science Lab

AnimaLab's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

RKocielnik 

updated a dataset about 1 month ago

AnimaLab/bias-test-gpt-biases

Updated Jan 4 • 35

p-song1 

authored 7 papers about 2 months ago

Adaptation of Agentic AI

Paper • 2512.16301 • Published Dec 18, 2025 • 105

LeanAgent: Lifelong Learning for Formal Theorem Proving

Paper • 2410.06209 • Published Oct 8, 2024 • 2

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

Paper • 2509.03730 • Published Sep 3, 2025 • 1

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean

Paper • 2404.12534 • Published Apr 18, 2024 • 1

In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models

Paper • 2409.15454 • Published Sep 23, 2024 • 1

Creative and Context-Aware Translation of East Asian Idioms with GPT-4

Paper • 2410.00988 • Published Oct 1, 2024 • 2

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction

Paper • 2502.17925 • Published Feb 25, 2025 • 1

beomseok-kang 

authored a paper 4 months ago

QWHA: Quantization-Aware Walsh-Hadamard Adaptation for Parameter-Efficient Fine-Tuning on Large Language Models

Paper • 2509.17428 • Published Sep 22, 2025 • 9

RKocielnik 

updated a Space 11 months ago

Sleeping

12

Bias Test Gpt Pairs

⚖

12

Generate sentences to test social biases

RKocielnik 

authored a paper about 1 year ago

Automating Feedback Analysis in Surgical Training: Detection, Categorization, and Assessment

Paper • 2412.00760 • Published Dec 1, 2024

RKocielnik 

updated a dataset almost 2 years ago

AnimaLab/bias-test-gpt-sentences

Viewer • Updated Mar 16, 2024 • 8.66k • 89 • 1

RKocielnik 

authored 5 papers almost 2 years ago

Can You Label Less by Using Out-of-Domain Data? Active & Transfer Learning with Few-shot Instructions

Paper • 2211.11798 • Published Nov 21, 2022

Deep Multimodal Fusion for Surgical Feedback Classification

Paper • 2312.03231 • Published Dec 6, 2023

BiasTestGPT: Using ChatGPT for Social Bias Testing of Language Models

Paper • 2302.07371 • Published Feb 14, 2023

Exploring Social Bias in Downstream Applications of Text-to-Image Foundation Models

Paper • 2312.10065 • Published Dec 5, 2023

Few-shot Instruction Prompts for Pretrained Language Models to Detect Social Biases

Paper • 2112.07868 • Published Dec 15, 2021

rjiang12 

updated a dataset about 2 years ago

AnimaLab/vision_model_init_data

Viewer • Updated Dec 30, 2023 • 162

p-song1 

authored a paper over 2 years ago

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Paper • 2306.15626 • Published Jun 27, 2023 • 17