Results 311 to 320 of about 1,558,985 (350)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic

arXiv.org
We introduce LLM-ARC, a neuro-symbolic framework designed to enhance the logical reasoning capabilities of Large Language Models (LLMs), by combining them with an Automated Reasoning Critic (ARC).
Aditya Kalyanpur, K. Saravanakumar, Victor Barres, Jennifer Chu-Carroll, David O. Melville, David Ferrucci   +5 more
semanticscholar   +1 more source

Automated Reasoning with Restricted Intensional Sets

Journal of automated reasoning, 2019
Intensional sets, i.e., sets given by a property rather than by enumerating elements, are widely recognized as a key feature to describe complex problems (see, e.g., specification languages such as B and Z).
M. Cristiá, G. Rossi
semanticscholar   +1 more source

Automated Reasoning and Knowledge Inference on OPC UA Information Models

Industrial Cyber-Physical Systems, 2019
The fourth industrial revolution demands flexibility, adaptability, transparency and semantic interoperability. Within the German Industry 4.0 initiative, the Reference Architecture Model Industrie 4.0 (RAMI4.0) has recently been standardized and OPC ...
Jupiter Bakakeu, M. Brossog, J. Zeitler, J. Franke, S. Tolksdorf, H. Klos, J. Peschke   +6 more
semanticscholar   +1 more source

An Automated Reasoning System

Proceedings of the May 4-7, 1981, national computer conference on - AFIPS '81, 1981
This paper is an introduction to an automated reasoning program developed at Northern Illinois University and Argonne National Laboratory over the past nine years. Recently the program has reached the stage where it can be considered a useful research tool in a variety of disciplines.
L. Wos, S. K. Winker, E. L. Lusk
openaire   +1 more source

VisualPRM: An Effective Process Reward Model for Multimodal Reasoning

arXiv.org
We introduce VisualPRM, an advanced multimodal Process Reward Model (PRM) with 8B parameters, which improves the reasoning abilities of existing Multimodal Large Language Models (MLLMs) across different model scales and families with Best-of-N (BoN ...
Weiyun Wang, Zhangwei Gao, Lianjie Chen, Zhe Chen, Jinguo Zhu, Xiangyu Zhao, Yangzhou Liu, Yue Cao, Shenglong Ye, Xizhou Zhu, Lewei Lu, Haodong Duan, Yu Qiao, Jifeng Dai, Wenhai Wang   +14 more
semanticscholar   +1 more source

Automated Circular Assume-Guarantee Reasoning

Formal Aspects of Computing, 2015
Abstract Model checking is a successful approach for verifying hardware and software systems. Despite its success, the technique suffers from the state explosion problem which arises due to the large state space of real-life systems. One solution to the state explosion problem is compositional verification, that aims to decompose
Karam Abd Elkader, Orna Grumberg, Corina S. Păsăreanu, Sharon Shoham   +3 more
openaire   +2 more sources

ProcessBench: Identifying Process Errors in Mathematical Reasoning

Annual Meeting of the Association for Computational Linguistics
As language models regularly make mistakes when solving math problems, automated identification of errors in the reasoning process becomes increasingly significant for their scalable oversight.
Chujie Zheng, Zhenru Zhang, Beichen Zhang, Runji Lin, Keming Lu, Bowen Yu, Dayiheng Liu, Jingren Zhou, Junyang Lin   +8 more
semanticscholar   +1 more source

Theory-Specific Automated Reasoning

2010
In designing a large-scale computerized proof system, one is often confronted with issues of two kinds: issues regarding an underlying logical calculus, and issues that refer to theories, either specified axiomatically or characterized by indication of either a privileged model or a family of intended models. Proof services related to the theories most
Formisano A., OMODEO, EUGENIO
openaire   +3 more sources

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

Multi-ontology fusion and rule development to facilitate automated code compliance checking using BIM and rule-based reasoning

Advanced Engineering Informatics, 2022
Liu Jiang, Jianyong Shi, Chaoyu Wang
semanticscholar   +1 more source