Zobrazeno 1 - 10
of 547
pro vyhledávání: '"Manino"'
Training large language models (LLMs) requires a substantial investment of time and money. To get a good return on investment, the developers spend considerable effort ensuring that the model never produces harmful and offensive outputs. However, bad
Externí odkaz:
http://arxiv.org/abs/2407.11059
Autor:
Menezes, Rafael Sá, Manino, Edoardo, Shmarov, Fedor, Aldughaim, Mohannad, de Freitas, Rosiane, Cordeiro, Lucas C.
Bounded Model Checking (BMC) is a widely used software verification technique. Despite its successes, the technique has several limiting factors, from state-space explosion to lack of completeness. Over the years, interval analysis has repeatedly bee
Externí odkaz:
http://arxiv.org/abs/2406.15281
Realm Management Monitor (RMM) is an essential firmware component within the recent Arm Confidential Computing Architecture (Arm CCA). Previous work applies formal techniques to verify the specification and prototype reference implementation of RMM.
Externí odkaz:
http://arxiv.org/abs/2406.04375
The next generation of AI systems requires strong safety guarantees. This report looks at the software implementation of neural networks and related memory safety properties, including NULL pointer deference, out-of-bound access, double-free, and mem
Externí odkaz:
http://arxiv.org/abs/2405.08848
Autor:
Menezes, Rafael, Aldughaim, Mohannad, Farias, Bruno, Li, Xianzhiyu, Manino, Edoardo, Shmarov, Fedor, Song, Kunjian, Brauße, Franz, Gadelha, Mikhail R., Tihanyi, Norbert, Korovin, Konstantin, Cordeiro, Lucas C.
ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for previously unsupported programs and properties. ESBMC employs a new static interval analysis
Externí odkaz:
http://arxiv.org/abs/2312.14746
Safety-critical systems with neural network components require strong guarantees. While existing neural network verification techniques have shown great progress towards this goal, they cannot prove the absence of software faults in the network imple
Externí odkaz:
http://arxiv.org/abs/2309.03617
Publikováno v:
Journal of Apicultural Science, Vol 59, Iss 2, Pp 27-36 (2015)
While observing: non-acceptance, frequent replacements, and reduced performance in honey bee (Apis mellifera ligustica) queens, we were induced to analyse a certain number of queens to detect the causes. For this purpose, 99 newly mated queens were b
Externí odkaz:
https://doaj.org/article/068d45b6e40347be9852c43a8b15deac
We describe and evaluate LF-checker, a metaverifier tool based on machine learning. It extracts multiple features of the program under test and predicts the optimal configuration (flags) of a bounded model checker with a decision tree. Our current wo
Externí odkaz:
http://arxiv.org/abs/2301.09142
Neural networks are a powerful class of non-linear functions. However, their black-box nature makes it difficult to explain their behaviour and certify their safety. Abstraction techniques address this challenge by transforming the neural network int
Externí odkaz:
http://arxiv.org/abs/2210.12054
This work proposes a novel methodology for measuring compositional behavior in contemporary language embedding models. Specifically, we focus on adjectival modifier phenomena in adjective-noun phrases. In recent years, distributional language represe
Externí odkaz:
http://arxiv.org/abs/2212.04310