Co-occurring keywords · papers mentioning both
Papers
Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
ACL 2025
Consistent Autoformalization for Constructing Mathematical Libraries
EMNLP 2024
SUT: Active Defects Probing for Transcompiler Models
EMNLP 2023
Break-It-Fix-It: Unsupervised Learning for Program Repair
ICML 2021