Essays about: "proofs"

Showing result 1 - 5 of 104 essays containing the word proofs.

  1. 1. A Verified QBF Solver

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2024]
    Keywords : ;

    Abstract : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. READ MORE

  3. 2. Approximating Reasoning with Transformer Language Models

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Daniel Enström; Viktor Kjellberg; [2023-10-19]
    Keywords : natural language processing; nlp; automated reasoning; logic; inference; machine learning; transformers; language models; BERT; BART;

    Abstract : We conduct experiments with BART, a generative language-model architecture, to investigate its capabilities for approximating reasoning by learning from data. For this we use the SimpleLogic dataset, a dataset of satisfiability problems in propositional logic originally created by Zhang et al. (2022). READ MORE

  4. 3. Mathematical Unconcealment and the Surveying of Proofs

    University essay from Uppsala universitet/Filosofiska institutionen

    Author : Jim Skog Pirinen; [2023]
    Keywords : philosophy of mathematics; Heidegger; Wittgenstein; surveyability; unconcealment;

    Abstract : Ever since the advent of computerized methods for solving mathematical problems, the concept of surveyability has played a central role in the debate surrounding what constitutes a mathematical proof. Ordinarily, it is by surveying the argument presented that the mathematician ascertains the truth of the conclusion, but with the advent of computer assisted technologies, there are mathematical conclusions known to be true without anyone ever having been able to survey the argument in its entirety. READ MORE

  5. 4. Peer-to-peer misbehaviour reporting using non-interactive zero-knowledge proofs in ETSI ITS-G5

    University essay from Linköpings universitet/Databas och informationsteknik

    Author : Lukas Nee; [2023]
    Keywords : ;

    Abstract : In the future of intelligent transport systems, vehicles will communicate with other vehicles and infrastructure. Through this communication, vehicles can cooperate in traffic situations such as intersections and highway merging. This communication can also facilitate sharing of information about other vehicles. READ MORE

  6. 5. Automating End Station Configuration: An Agile Approach to Time-Sensitive Networking

    University essay from Karlstads universitet/Institutionen för matematik och datavetenskap (from 2013)

    Author : Fredrik Hallström; [2023]
    Keywords : Time-Sensitive Networking; End Stations; Configuration; Centralized Network Configuration; Centralized User Configuration; Engineering Tool;

    Abstract : Industries such as automotive and industrial automation are pushing the limits of networking technology. The Time-Sensitive Networking (TSN) standards offer a promising solution that can meet the demands of high-bandwidth applications with strict timing constraints, allowing time-critical traffic to coexist with other traffic. READ MORE