firstbacksecondback
3 Results
|
Workshop
|
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting Xi Ye · Qiaochu Chen · Isil Dillig · Greg Durrett |
||
|
Poster
|
Thu 15:00 |
LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering Jingying Gao · Qi Wu · Alan Blair · Maurice Pagnucco |
|
|
Poster
|
Tue 8:45 |
TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graph Xueyuan Lin · Haihong E · Chengjin Xu · Gengxian Zhou · Haoran Luo · Tianyi Hu · Fenglong Su · Ningyuan Li · Mingzhi Sun |