search

uclnlp / ctp

Conditional Theorem Proving
MIT License
51 stars 17 forks source link

What are the default parameters for countries dataset? #3

Open yfzhang114 opened 2 years ago