Skip to content

Hierarchical Attention Generates Better Proofs.

Jianlong Chen, Chao Li, Yang Yuan, Andrew C. Yao

VenueA*ACL
Year2025
ProceedingsACL (1)

Browse the full ACL paper archive.