EMNLP 2024

•

•

Miami, United States

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from EMNLP 2024

BC-Prover: Backward Chaining Prover for Formal Theorem Proving
poster

BC-Prover: Backward Chaining Prover for Formal Theorem Proving

EMNLP 2024

Jianzhu Bao
+5
Yuhang He and 7 other authors

Similar lecture

GRAM-R²: Self-Training Generative Foundation Reward Models for Reward Reasoning
technical paper

GRAM-R²: Self-Training Generative Foundation Reward Models for Reward Reasoning

AAAI 2026

Bei Li
+10
Xiaoyang Hao and 12 other authors

23 January 2026