Bowen Li

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation

2025 · arXiv (Cornell University)

First-order logic (FOL) reasoning, which involves sequential deduction, is pivotal for intelligent systems and serves as a valuable task for evaluating reasoning capabilities, particularly in chain-of-thought (CoT) contexts. Existing benchmarks often rely on extensive human …

Causal Prompting for Implicit Sentiment Analysis with Large Language Models

2025 · arXiv (Cornell University)

Implicit Sentiment Analysis (ISA) aims to infer sentiment that is implied rather than explicitly stated, requiring models to perform deeper reasoning over subtle contextual cues. While recent prompting-based methods using Large Language Models (LLMs) have …