Adaptation of Agentic AI
Paper
•
2512.16301
•
Published
•
92
Anima AI+Science Lab
university
Verified
AI & ML interests
AI4Science, Neural Operators, Tensor-based methods
Recent Activity
View all activity
p-song1
authored
a
paper
7 days ago
p-song1
authored
6
papers
9 days ago
LeanAgent: Lifelong Learning for Formal Theorem Proving
Paper
•
2410.06209
•
Published
•
2
The Personality Illusion: Revealing Dissociation Between Self-Reports & Behavior in LLMs
Paper
•
2509.03730
•
Published
•
1
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
Paper
•
2404.12534
•
Published
•
1
In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models
Paper
•
2409.15454
•
Published
•
1
Creative and Context-Aware Translation of East Asian Idioms with GPT-4
Paper
•
2410.00988
•
Published
•
1
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
Paper
•
2502.17925
•
Published
•
1
RKocielnik
updated
a
dataset
2 months ago
beomseok-kang
authored
a
paper
3 months ago
RKocielnik
updated
a
Space
10 months ago
RKocielnik
authored
a
paper
11 months ago
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
Deep Multimodal Fusion for Surgical Feedback Classification
Paper
•
2312.03231
•
Published
BiasTestGPT: Using ChatGPT for Social Bias Testing of Language Models
Paper
•
2302.07371
•
Published
Exploring Social Bias in Downstream Applications of Text-to-Image Foundation Models
Paper
•
2312.10065
•
Published
Few-shot Instruction Prompts for Pretrained Language Models to Detect Social Biases
Paper
•
2112.07868
•
Published
p-song1
authored
a
paper
over 2 years ago