2 datasets found
  1. h

    ProntoQA

    • huggingface.co
    Updated May 26, 2024
    + more versions
    Share
    FacebookFacebook
    TwitterTwitter
    Email
    Click to copy link
    Link copied
    Close
    Cite
    Ren Ma (2024). ProntoQA [Dataset]. https://huggingface.co/datasets/renma/ProntoQA
    Explore at:
    CroissantCroissant is a format for machine-learning datasets. Learn more about this at mlcommons.org/croissant.
    Dataset updated
    May 26, 2024
    Authors
    Ren Ma
    License

    MIT Licensehttps://opensource.org/licenses/MIT
    License information was derived automatically

    Description

    Github

    https://github.com/teacherpeterpan/Logic-LLM/blob/main/outputs/logic_programs/ProntoQA_dev_gpt-4.json

      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.

  2. h

    prontoqa

    • huggingface.co
    Updated Apr 11, 2025
    Share
    FacebookFacebook
    TwitterTwitter
    Email
    Click to copy link
    Link copied
    Close
    Cite
    Samuel Moor-Smith (2025). prontoqa [Dataset]. https://huggingface.co/datasets/smoorsmith/prontoqa
    Explore at:
    Dataset updated
    Apr 11, 2025
    Authors
    Samuel Moor-Smith
    Description

    smoorsmith/prontoqa dataset hosted on Hugging Face and contributed by the HF Datasets community

  3. Not seeing a result you expected?
    Learn how you can add new datasets to our index.

Share
FacebookFacebook
TwitterTwitter
Email
Click to copy link
Link copied
Close
Cite
Ren Ma (2024). ProntoQA [Dataset]. https://huggingface.co/datasets/renma/ProntoQA

ProntoQA

renma/ProntoQA

Explore at:
131 scholarly articles cite this dataset (View in Google Scholar)
CroissantCroissant is a format for machine-learning datasets. Learn more about this at mlcommons.org/croissant.
Dataset updated
May 26, 2024
Authors
Ren Ma
License

MIT Licensehttps://opensource.org/licenses/MIT
License information was derived automatically

Description

Github

https://github.com/teacherpeterpan/Logic-LLM/blob/main/outputs/logic_programs/ProntoQA_dev_gpt-4.json

  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.

Search
Clear search
Close search
Google apps
Main menu