Results 31 to 40 of about 1,501,850 (327)
Modeling the C. elegans germline stem cell genetic network using automated reasoning.
Biosystems, 2022 Amar A, Hubbard EJA, Kugler H.
europepmc +2 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
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
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language [PDF]
Annual Meeting of the Association for Computational Linguistics, 2022 Remarkable progress has been made on automated reasoning with natural text, by using Large Language Models (LLMs) and methods such as Chain-of-Thought prompting and Selection-Inference.
Seyed Mehran Kazemi +4 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
Fast and Clean: Auditable high-performance assembly via constraint solving
Transactions on Cryptographic Hardware and Embedded Systems, 2023 Handwritten assembly is a widely used tool in the development of highperformance cryptography: By providing full control over instruction selection, instruction scheduling, and register allocation, highest performance can be unlocked.
Amin Abdulrahman +3 more
doaj +1 more source
Inductive Benchmarks for Automated Reasoning [PDF]
, 2021 We present a large set of benchmarks for automated theorem provers that require inductive reasoning. Motivated by the need to compare first-order theorem provers, SMT solvers and inductive theorem provers, the setting of our examples follows the SMT-LIB standard. Our benchmark set contains problems with inductive data types as well as integers.
Hajdu, Márton +4 more
openaire +2 more sources
seIMC: A GSW-Based Secure and Efficient Integer Matrix Computation Scheme With Implementation
IEEE Access, 2020 As atomic operations, secure matrix-based computations using homomorphic encryption (HE) have attracted much attention in cloud-based machine learning. However, most existing secure matrix computation solutions that focus on HE schemes suffer efficiency ...
Yanan Bai +4 more
doaj +1 more source