- h
ProofWriter
- huggingface.co
Updated Jun 22, 2024
Share
Facebook
Twitter
EmailClick to copy linkLink copiedCiteRen Ma (2024). ProofWriter [Dataset]. https://huggingface.co/datasets/renma/ProofWriterCroissantCroissant is a format for machine-learning datasets. Learn more about this at mlcommons.org/croissant.Dataset updatedJun 22, 2024AuthorsRen MaLicenseMIT Licensehttps://opensource.org/licenses/MIT
License information was derived automaticallyDescriptionGithub
Reference@inproceedings{PanLogicLM23, author = {Liangming Pan and Alon Albalak and Xinyi Wang and William Yang Wang}, title = {{Logic-LM:} Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning}, booktitle = {Findings of the 2023 Conference on Empirical… See the full description on the dataset page: https://huggingface.co/datasets/renma/ProofWriter.
- h
ProntoQA
- huggingface.co
Updated May 26, 2024ShareFacebookTwitterEmailClick to copy linkLink copiedCiteRen Ma (2024). ProntoQA [Dataset]. https://huggingface.co/datasets/renma/ProntoQACroissantCroissant is a format for machine-learning datasets. Learn more about this at mlcommons.org/croissant.Dataset updatedMay 26, 2024AuthorsRen MaLicenseMIT Licensehttps://opensource.org/licenses/MIT
License information was derived automaticallyDescriptionGithub
Reference@inproceedings{PanLogicLM23, author = {Liangming Pan and Alon Albalak and Xinyi Wang and William Yang Wang}, title = {{Logic-LM:} Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning}, booktitle = {Findings of the 2023 Conference on Empirical… See the full description on the dataset page: https://huggingface.co/datasets/renma/ProntoQA.
Not seeing a result you expected?
Learn how you can add new datasets to our index.
FacebookTwitterEmailMIT Licensehttps://opensource.org/licenses/MIT
License information was derived automatically
Github
Reference
@inproceedings{PanLogicLM23, author = {Liangming Pan and Alon Albalak and Xinyi Wang and William Yang Wang}, title = {{Logic-LM:} Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning}, booktitle = {Findings of the 2023 Conference on Empirical… See the full description on the dataset page: https://huggingface.co/datasets/renma/ProofWriter.