benchmark datasets, benchmarks, construct validity
2024 – Present
formal semantics, deductive inference, computational logic
2022 – Present
large language models, deep learning, natural language processing, textual entailment, synthetic data generation
2020 – Present