Sökning: "Contract inference"

Visar resultat 1 - 5 av 12 uppsatser innehållade orden Contract inference.

  1. 1. Natural Language Inference Transfer Learning in a Multi-Task Contract Dataset : In the Case of ContractNLI: a Document Information Extraction System

    Master-uppsats, Uppsala universitet/Institutionen för lingvistik och filologi

    Författare :Yiu Kei Tang; [2023]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  3. 2. Waivers i den kommersiella avtalsrätten : Eftergifter och reklamation i svensk och amerikansk rätt

    Uppsats för yrkesexamina på avancerad nivå, Stockholms universitet/Juridiska institutionen

    Författare :Dosti Tuana; [2023]
    Nyckelord :Waiver; waivers; Eftergift; eftergifter;

    Sammanfattning : In Sweden, the concept of waivers in conjunction with notification of breach of contract is not regulated by the law. Instead, the Swedish High Court has devel-oped non-statuary principles regarding waivers and notification of breach in the past years. LÄS MER

  4. 3. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Hovig Manjikian; [2023]
    Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Sammanfattning : 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. LÄS MER

  5. 4. Automated Inference of ACSL Contracts for Programs with Heaps

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : 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. LÄS MER

  7. 5. Dynamic Covariance Modelling Using Generalised Wishart Processes

    Master-uppsats, Lunds universitet/Matematisk statistik

    Författare :Fredrik Nilsson; [2023]
    Nyckelord :Covariance matrix; generalised Wishart process; Bayesian inference; Markov chain Monte Carlo; Hamiltonian Monte Carlo; Mathematics and Statistics;

    Sammanfattning : 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$. LÄS MER