Laplace's Red Devils

community

AI & ML interests

None defined yet.

Laplaces-Red-Devils 's datasets 5

Laplaces-Red-Devils/Logic-Final-Result-V03-NL-Only

Updated Jun 7 • 11

Laplaces-Red-Devils/fol-augmented-exact-z3-full-pipeline-v03

Preview • Updated Jun 5 • 6

Laplaces-Red-Devils/Logic-Final-Result-V01

Updated Jun 1 • 6

Laplaces-Red-Devils/fol-augmented-exact-z3-full-pipeline-baseline

Preview • Updated May 30 • 2

Laplaces-Red-Devils/QA-NL-Question-baseline

Preview • Updated May 29 • 8