Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Thinking with Reasoning Skills: Fewer Tokens, More Accuracy
Guangxiang Zhao, Qilong Shi, Xusen Xiao +3
Reasoning LLMs often spend substantial tokens on long intermediate reasoning traces (e.g., chain-of-thought) when solving new problems. We propose to summarize and store reusable r…
cs.AI2021
Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification
Qi Shi, Yu Zhang, Qingyu Yin +1
Table-based fact verification task aims to verify whether the given statement is supported by the given semi-structured table. Symbolic reasoning with logical operations plays a cr…