renma/ProofWriter
收藏Hugging Face2024-05-22 更新2024-06-12 收录
下载链接：
https://hf-mirror.com/datasets/renma/ProofWriter
下载链接
链接失效反馈官方服务：
资源简介：
---
license: mit
language:
- en
size_categories:
- n<1K
---
# Github
https://github.com/teacherpeterpan/Logic-LLM/blob/main/outputs/logic_programs/ProofWriter_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 Methods in Natural Language Processing (Findings of EMNLP)},
address = {Singapore},
year = {2023},
month = {Dec},
url = {https://arxiv.org/abs/2305.12295}
}
```
提供机构：
renma
原始信息汇总
数据集概述
- 许可证: MIT
- 语言: 英语（en）
- 大小分类: 小于1KB（n<1K）
