conftrace_

mathematical library

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

syntax error (1) syntax error feedback (1) large language model (1) retrieval-augmented generation (1) formal language (1) natural language inference (1)

Papers

Consistent Autoformalization for Constructing Mathematical Libraries EMNLP 2024