Skip to content

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity.

Dylan Zhang, Justin Wang, Tianran Sun

VenueA*ACL
Year2025
ProceedingsACL (Findings)

Browse the full ACL paper archive.