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

+10Haiming Wang
Haiming Wang and 12 other authors

12 July 2023

Stay up to date with the latest Underline news!

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

PRESENTATIONS

  • All Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2026 Underline - All rights reserved