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

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRODUCT

  • Presentations
  • Conferences
  • Societies
  • Speakers
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2025 Underline - All rights reserved

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.