Share your thoughts, 1 month free Claude Pro on usSee more

Theorem Question Answering on ThmQA

26.12Pass@1

Teacher

Updated 7d ago

Evaluation Results

Method	Links
Teacher 2026.05		26.12
Bridge-Garden (Skew FKL) 2026.05		5.24
Skew FKL 2026.05		5.01
Bridge-Garden (Reverse KL) 2026.05		4.57
Bridge-Garden (α-β divergence) 2026.05		4.54
α-β divergence 2026.05		4.34
Forward KL 2026.05		4.25
Bridge-Garden (Forward KL) 2026.05		4.22
Bridge-Garden (Total Variation) 2026.05		4
Bridge-Garden (Skew RKL) 2026.05		3.41
Skew RKL 2026.05		3.38
Hard KD 2026.05		3.15
Total Variation 2026.05		1.29
Reverse KL 2026.05		1.26
Student (No Distill) 2026.05		0.95