Results 301 to 310 of about 1,501,850 (327)

Automated Reasoning in the Wild

2015
This paper discusses the use of first order automated reasoning in question answering and cognitive computing. For this the natural language question answering project LogAnswer is briefly depicted and the challenges faced therein are addressed.
Claudia Schon, Björn Pelzer, Ulrich Furbach   +2 more
openaire   +2 more sources

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

arXiv.org
LLMs have demonstrated strong mathematical reasoning abilities by leveraging reinforcement learning with long chain-of-thought, yet they continue to struggle with theorem proving due to the lack of clear supervision signals when solely using natural ...
Luoxin Chen, Jinming Gu, Liankai Huang, Wenhao Huang, Zhicheng Jiang, Allan Jie, Xiaoran Jin, Xing Jin, Chenggang Li, Kaijing Ma, Cheng Ren, Jiawei Shen, Wenlei Shi, Tong Sun, He Sun, Jiahui Wang, Siran Wang, Zhihong Wang, Chenrui Wei, Shufa Wei, Yong-Xu Wu, Yuchen Wu, Yihang Xia, Hua Xin, Fan Yang, Huaiyuan Ying, Hongyi Yuan, Zheng Yuan, Tianyang Zhan, Chi Zhang, Yue Zhang, Ge-Hang Zhang, Tianyun Zhao, Jianqiu Zhao, Yichi Zhou, Thomas (Hanwen) Zhu   +35 more
semanticscholar   +1 more source

Large Language Models for Mathematical Reasoning: Progresses and Challenges

Conference of the European Chapter of the Association for Computational Linguistics
Mathematical reasoning serves as a cornerstone for assessing the fundamental cognitive capabilities of human intelligence. In recent times, there has been a notable surge in the development of Large Language Models (LLMs) geared towards the automated ...
Janice Ahn, Rishu Verma, Renze Lou, Di Liu, Rui Zhang, Wenpeng Yin   +5 more
semanticscholar   +1 more source

Enhancing the Reasoning Ability of Multimodal Large Language Models via Mixed Preference Optimization

arXiv.org
Existing open-source multimodal large language models (MLLMs) generally follow a training process involving pre-training and supervised fine-tuning.
Weiyun Wang, Zhe Chen, Wenhai Wang, Yue Cao, Yangzhou Liu, Zhangwei Gao, Jinguo Zhu, Xizhou Zhu, Lewei Lu, Yu Qiao, Jifeng Dai   +10 more
semanticscholar   +1 more source

Automatically Correcting Large Language Models: Surveying the Landscape of Diverse Automated Correction Strategies

Transactions of the Association for Computational Linguistics
While large language models (LLMs) have shown remarkable effectiveness in various NLP tasks, they are still prone to issues such as hallucination, unfaithful reasoning, and toxicity.
Liangming Pan, Michael Stephen Saxon, Wenda Xu, Deepak Nathani, Xinyi Wang, W. Wang   +5 more
semanticscholar   +1 more source

Automated Reasoning for Regulatory Compliance

2013
Regulatory compliance is gaining attention from information systems engineers who must design systems that at the same time satisfy stakeholder requirements and comply with applicable laws. In our previous work, we have introduced a conceptual modelling language called Nomos 2 that aids requirements engineers analyze law to identify alternative ways ...
Ingolfo, Silvia, Siena, Alberto, Jureta, I., Susi, Angelo, Perini, Anna, Mylopoulos, Ioannis   +5 more
openaire   +3 more sources

Automated Reasoning

2004
Proceedings of IJCAR 2004.
Basin, David, Rusinowitch, Michaël
openaire   +1 more source

Uncertainty and Automated Reasoning

2003
In this chapter, based on lattice-valued logic, we discuss some basis of applied theory for fuzziness and incomparability processing.
Yang Xu, Keyun Qin, Da Ruan, Jun Liu
openaire   +2 more sources

LongBench v2: Towards Deeper Understanding and Reasoning on Realistic Long-context Multitasks

arXiv.org
This paper introduces LongBench v2, a benchmark designed to assess the ability of LLMs to handle long-context problems requiring deep understanding and reasoning across real-world multitasks.
Yushi Bai, Shangqing Tu, Jiajie Zhang, Hao Peng, Xiaozhi Wang, Xin Lv, S. Cao, Jiazheng Xu, Lei Hou, Yuxiao Dong, Jie Tang, Juanzi Li   +11 more
semanticscholar   +1 more source

CONTEXTUAL REWRITING IN AUTOMATED REASONING

Fundamenta Informaticae, 1995
Summary: Contextual rewriting as a generalization of conditional rewriting has been found in different forms in the papers whose major subject is not contextual rewriting. Here, we put the scattered information together and give it a systematic study.
openaire   +3 more sources