1 results

semantic-errors

inall models datasets apps agents people projects

Datasets

All datasets matching “semantic-errors”

formalanon /semantic-lean-errors Semantic Lean Errors 92 expert-annotated examples of semantic errors in autoformalized Lean 4 mathematics. textn<1K0 likes20 downloads6mo agoHugging Face