Renjie Pi

Examining the trade-off between fine-tuning and preserving general abilities in AI models.

This model improves object detection by generating detailed labels for various objects.

A framework to improve theorem proving using Lean4 and language models.

TAGCOS optimizes instruction tuning by selecting effective data subsets for language models.

A new method enhances video creation to match user expectations.