
Title |
|---|
![]() Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 |
![]() Is Large Language Model Performance on Reasoning Tasks Impacted by Different Ways Questions Are Asked?Annual Meeting of the Association for Computational Linguistics (ACL), 2025 |
![]() Logical forms complement probability in understanding language model (and human) performanceAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 |
![]() Large Language Models Meet Symbolic Provers for Logical Reasoning EvaluationInternational Conference on Learning Representations (ICLR), 2025 |
![]() Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical ReasoningInternational Conference on Neural Information Processing (ICONIP), 2023 |