4 papers · 1 filter
Thinking with Tables: Enhancing Multi-Modal Tabular Understanding via Neuro-Symbolic Reasoning
Kun-Yang Yu, Zhi Zhou, Shi-Yu Tian +6
Multimodal Large Language Models (MLLMs) have demonstrated remarkable reasoning capabilities across modalities such as images and text. However, tabular data, despite being a criti…
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Xiao-Wen Yang, Zihao Zhang, Jianuo Cao +7
Large language models (LLMs) have recently demonstrated remarkable progress in formal theorem proving. Yet their ability to serve as practical assistants for mathematicians, fillin…
LawGPT: Knowledge-Guided Data Generation and Its Application to Legal LLM
Zhi Zhou, Kun-Yang Yu, Shi-Yu Tian +6
Large language models (LLMs), both proprietary and open-source, have demonstrated remarkable capabilities across various natural language processing tasks. However, they face signi…
Step Back to Leap Forward: Self-Backtracking for Boosting Reasoning of Language Models
Xiao-Wen Yang, Xuan-Yi Zhu, Wen-Da Wei +5
The integration of slow-thinking mechanisms into large language models (LLMs) offers a promising way toward achieving Level 2 AGI Reasoners, as exemplified by systems like OpenAI's…