Repository navigation

FormalEval

Public

About

[EMNLP2025 Oral] Code, Result and Files for paper[Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?]

12 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
Data		Data
Results		Results
.DS_Store		.DS_Store
Formal_Eval.pdf		Formal_Eval.pdf
README.md		README.md

Repository files navigation

FormalEval

Code, Result and Files for paper[Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?]

About

[EMNLP2025 Oral] Code, Result and Files for paper[Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?]

12 stars

1 watching

Report repository

Releases

Packages

Contributors