Zobrazeno 1 - 10
of 220 068
pro vyhledávání: '"instantiation"'
Autor:
Odu, Oluwafemi, Belle, Alvine B., Wang, Song, Kpodjedo, Segla, Lethbridge, Timothy C., Hemmati, Hadi
An assurance case is a structured set of arguments supported by evidence, demonstrating that a system's non-functional requirements (e.g., safety, security, reliability) have been correctly implemented. Assurance case patterns serve as templates deri
Externí odkaz:
http://arxiv.org/abs/2410.05488
Autor:
Pascual, Romain
This report presents a set-theoretic framework for the instantiation of rule schemes in the Jerboa platform, a tool for developing domain-specific geometric modelers. Jerboa enables the design of geometric modeling operations as graph transformation
Externí odkaz:
http://arxiv.org/abs/2411.15986
In this work, we prove over 3000 previously ATP-unproved Mizar/MPTP problems by using several ATP and AI methods, raising the number of ATP-solved Mizar problems from 75\% to above 80\%. First, we start to experiment with the cvc5 SMT solver which us
Externí odkaz:
http://arxiv.org/abs/2406.17762
SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating quantifiers into SMT-based reasoning is, however, known to be challenging. If quantifier instantiatio
Externí odkaz:
http://arxiv.org/abs/2404.18007
Current research on tool learning primarily focuses on selecting the most effective tool from a wide array of options, often overlooking cost-effectiveness, a crucial factor in human problem-solving. In this paper, we address the selection of homogen
Externí odkaz:
http://arxiv.org/abs/2406.12429
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wang, Weiqi, Fang, Tianqing, Li, Chunyang, Shi, Haochen, Ding, Wenxuan, Xu, Baixuan, Wang, Zhaowei, Bai, Jiaxin, Liu, Xin, Cheng, Jiayang, Chan, Chunkit, Song, Yangqiu
The sequential process of conceptualization and instantiation is essential to generalizable commonsense reasoning as it allows the application of existing knowledge to unfamiliar scenarios. However, existing works tend to undervalue the step of insta
Externí odkaz:
http://arxiv.org/abs/2401.07286
DBMS bugs can cause serious consequences, posing severe security and privacy concerns. This paper works towards the detection of memory bugs and logic bugs in DBMSs, and aims to solve the two innate challenges, including how to generate semantically
Externí odkaz:
http://arxiv.org/abs/2312.04941
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.