FOLIO

https://github.com/Yale-LILY/FOLIO @article{han2022folio, title={FOLIO: Natural Language Reasoning with First-Order Logic}, author = {Han, Simeng and Schoelkopf, Hailey and Zhao, Yilun and Qi, Zhenting and Riddell, Martin and Benson, Luke and Sun, Lucy and Zubova, Ekaterina and Qiao, Yujie and Burtell, Matthew and Peng

Papers using FOLIO (5)

QuantLRM: Quantization of Large Reasoning Models via Fine-Tuning Signals2026Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering2026CRANE: Reasoning with constrained LLM generation2025Learning to Reason via Mixture-of-Thought for Logical Reasoning2025GReaTer: Gradients over Reasoning Makes Smaller Language Models Strong Prompt Optimizers2024