Results 11 to 20 of about 1,558,985 (350)
New ScientistZertifizierte Computersysteme werden zunehmend zum Schlüssel für die immer komplexeren Entscheidungsprozesse in unserer modernen Gesellschaft. Fehlerfreie und sichere Lösungen sind unter anderem in Bereichen wie Künstlicher Intelligenz (KI), autonomen Systemen, Big Data, Blockchain, Dezentraler Finanzen (DeFi) oder Cloud Computing unverzichtbar ...
International Joint Conference on Automated Reasoning 2024 Nancy +3 more
+4 more sources
Termination Analysis of Single Path Loop Programs Based on Iterative Trajectory Division [PDF]
Jisuanji kexue, 2023 The ranking function has been extensively studied as an important method of program termination analysis.In this paper,we focus on the termination of single-path loops.Firstly,the concept of two-way iterative loops is proposed,and the single-path loops ...
WANG Yao, LI Yi
doaj +1 more source
Quantifying the reasoning abilities of LLMs on clinical cases [PDF]
Nature CommunicationsRecent advances in reasoning-enhanced large language models (LLMs) show promise, yet their application in professional medicine, especially the evaluation of their reasoning process, remains underexplored.
Pengcheng Qiu +10 more
doaj +2 more sources
Benchmarks for Automated Commonsense Reasoning: A Survey [PDF]
ACM Computing Surveys, 2023 More than one hundred benchmarks have been developed to test the commonsense knowledge and commonsense reasoning abilities of artificial intelligence (AI) systems.
E. Davis
semanticscholar +1 more source
Survey on Automatic Tuning of Compilers by Machine Learning [PDF]
Jisuanji kexue, 2022 Modern compilers offer many optimization options.It is a complex problem to choose which parameter values,which combination of options and in which order to apply these options.Among them,the optimization phase ordering is the most dif-ficult one.With ...
CHI Hao-yu, CHEN Chang-bo
doaj +1 more source
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning [PDF]
IEEE Transactions on Software Engineering, 2023 Automated program repair (APR) faces the challenge of test overfitting, where generated patches pass validation tests but fail to generalize. Existing methods for patch assessment involve generating new tests or manual inspection, which can be time ...
Thanh Le-Cong +6 more
semanticscholar +1 more source
Reading and Reasoning over Chart Images for Evidence-based Automated Fact-Checking [PDF]
Findings, 2023 Evidence data for automated fact-checking (AFC) can be in multiple modalities such as text, tables, images, audio, or video. While there is increasing interest in using images for AFC, previous works mostly focus on detecting manipulated or fake images ...
Mubashara Akhtar +2 more
semanticscholar +1 more source
Automated Reasoning Techniques for Solving Combinatorial Mathematical Problems:A Survey [PDF]
Jisuanji kexue, 2023 Automated reasoning is a symbolic algorithmic technique that aims to simulate the logical reasoning ability of human.The overall goal is to mechanize different forms of reasoning with a computer system.Although the theoretical framework of the field has ...
HUANG Pei, LIU Minghao, MA Feifei, ZHANG Jian
doaj +1 more source
Inferring the Reader: Guiding Automated Story Generation with Commonsense Reasoning [PDF]
Conference on Empirical Methods in Natural Language Processing, 2021 Transformer-based language model approaches to automated story generation currently provide state-of-the-art results. However, they still suffer from plot incoherence when generating narratives over time, and critically lack basic commonsense reasoning ...
Xiangyu Peng +3 more
semanticscholar +1 more source
Frontiers in Computational Neuroscience, 2021 The emerging topic of privacy-preserving deep learning as a service has attracted increasing attention in recent years, which focuses on building an efficient and practical neural network prediction framework to secure client and model-holder data ...
Yanan Bai +5 more
doaj +1 more source