ACL 2023

•

July 12, 2023

•

Toronto, Canada

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from ACL 2023

DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
poster

DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function

ACL 2023

Haiming Wang
+10
Haiming Wang and 12 other authors

12 July 2023

Similar lecture

Symbolic Knowledge Distillation: from General Language Models to Commonsense Models
technical paper

Symbolic Knowledge Distillation: from General Language Models to Commonsense Models

NAACL 2022

Peter West
Yejin Choi
+6
Peter West and 8 other authors

13 July 2022