academics

graduate courses at cu boulder

my research library

reasoning papers

• explaining answers with entailment trees - dalvi et al., emnlp 2023
• entailer: answering questions with faithful and truthful chains of reasoning - tafjord et al., emnlp 2022
• enhancing systematic decompositional natural language inference using informal logic - weir et al., emnlp 2024

neuro-symbolic papers

• learning to compose neural networks for question answering - andreas et al., naacl 2016
• adapt: as-needed decomposition and planning with language models - prasad et al., naacl findings 2024
• code2vec: learning distributed representations of code - alon et al., popl 2019
• imposing relation structure in language-model embeddings using contrastive learning - theodoropoulos et al., conll 2021
• weakly-supervised modeling of contextualized event embedding for discourse relations - lee et al., findings of acl 2020
(More)
eventrag: enhancing llm generation with event knowledge graphs - yang et al., acl 2025
augmenting neural networks with first-order logic - li and srikumar, acl 2019
logical transformers: infusing logical structures into pre-trained language models - wang et al., findings of acl 2023
a logic-driven framework for consistency of neural models - li et al., emnlp 2019
logically consistent language models via neuro-symbolic integration - calanzone et al., iclr 2025
harnessing deep neural networks with logic rules - hu et al., acl 2016
symbolic knowledge distillation: from general language models to commonsense models - west et al., naacl 2022
autoregressive structured prediction with language models - liu et al., emnlp findings 2022