Picture for Yichun Yin

Yichun Yin

CoIR: A Comprehensive Benchmark for Code Information Retrieval Models

Add code
Jul 03, 2024
Viaarxiv icon

Preparing Lessons for Progressive Training on Language Models

Add code
Jan 18, 2024
Viaarxiv icon

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Add code
Oct 24, 2023
Viaarxiv icon

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning

Add code
Oct 19, 2023
Viaarxiv icon

Reusing Pretrained Models by Multi-linear Operators for Efficient Training

Add code
Oct 16, 2023
Viaarxiv icon

FIMO: A Challenge Formal Dataset for Automated Theorem Proving

Add code
Sep 08, 2023
Figure 1 for FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Figure 2 for FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Figure 3 for FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Figure 4 for FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Viaarxiv icon

AutoConv: Automatically Generating Information-seeking Conversations with Large Language Models

Add code
Aug 12, 2023
Viaarxiv icon

NewsDialogues: Towards Proactive News Grounded Conversation

Add code
Aug 12, 2023
Viaarxiv icon

G-MAP: General Memory-Augmented Pre-trained Language Model for Domain Tasks

Add code
Dec 08, 2022
Viaarxiv icon

FPT: Improving Prompt Tuning Efficiency via Progressive Training

Add code
Nov 13, 2022
Viaarxiv icon