Essays about: "Contract Inference"
Showing result 1 - 5 of 7 essays containing the words Contract Inference.
-
1. Natural Language Inference Transfer Learning in a Multi-Task Contract Dataset : In the Case of ContractNLI: a Document Information Extraction System
University essay from Uppsala universitet/Institutionen för lingvistik och filologiAbstract : This thesis investigates the enhancement of legal contract Natural Language Inference (NLI) classification through supervised fine-tuning on general domain NLI, in the case of ContractNLI and Span NLI BERT (Koreeda and Manning, 2021), a multi-task document information extraction dataset and framework. Annotated datasets of a specific professional domain are scarce due to the high time and labour cost required to create them. READ MORE
-
2. Improving the Synthesis of Annotations for Partially Automated Deductive Verification
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE
-
3. Automated Inference of ACSL Contracts for Programs with Heaps
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE
-
4. Dynamic Covariance Modelling Using Generalised Wishart Processes
University essay from Lunds universitet/Matematisk statistikAbstract : Modern portfolio theory was pioneered by Markowitz who formulated the mean-variance problem, without which any discussion on quantitative approaches to portfolio selection would be incomplete. The framework boils down to finding the expected return $\mu$ and covariance $\Sigma$, after which the solution is proportional to $\Sigma^{-1}\mu$. READ MORE
-
5. Automated inference of ACSL function contracts using TriCera
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : This thesis explores synergies between deductive verification and model checking, by using the existing model checker TriCera to automatically infer specifications for the deductive verifier Frama-C. To accomplish this, a formal semantics is defined for a subset of ANSI C, extended with assume statements, called Csmall. READ MORE