Results 221 to 230 of about 1,881,310 (251)

Learning Formal Mathematics From Intrinsic Motivation

Neural Information Processing Systems
How did humanity coax mathematics from the aether? We explore the Platonic view that mathematics can be discovered from its axioms - a game of conjecture and proof.
Gabriel Poesia, David Broman, Nick Haber, Noah D. Goodman   +3 more
semanticscholar   +1 more source

A formal proof of Gödel's theorem

Journal of Symbolic Logic, 1939
I. The present paper contains a formal proof of the following theorem of the elementary system ⊨ [ 1 0 ] c:This theorem means that if there were a theorem of ⊢0 ( 3 2 ) 0 stating that there is no contradiction in ⊢2 ( 5 4 ) 2, we would have a contradiction in ⊢2 ( 5 4 ) 2.
openaire   +1 more source

Proof Automation with Large Language Models

International Conference on Automated Software Engineering
Interactive theorem provers such as Coq are powerful tools to formally guarantee the correctness of software. However, using these tools requires significant manual effort and expertise.
Minghai Lu, Benjamin Delaware, Tianyi Zhang   +2 more
semanticscholar   +1 more source

Formal Ontology to the Proof of Facts

2019
After the work of Nicola Guarino, formal ontology is available today as a powerful conceptual tool for information systems modelling. In particular, for shared conceptual models, the ontological characterization of predicative symbols may help clarifying their intended semantics.
openaire   +1 more source

FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS

Parallel Processing Letters, 2003
The Bulk Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a wide range of architectures. It is based on an extension of the ML language by parallel operations on a parallel data structure called parallel vector, which is given by intention. We present a new
openaire   +2 more sources

Formal verification of TLS 1.2 by automatically generating proof scores

Computers and Security, 2022
Duong Dinh Tran, Kazuhiro Ogata
exaly  

Using Formal Proof and B Method at System Level for Industrial Projects

International Conference on Reliability, Safety, and Security of Railway Systems, 2016
D. Sabatier
semanticscholar   +1 more source

A Formal Proof of Cauchy's Residue Theorem

International Conference on Interactive Theorem Proving, 2016
Wenda Li, Lawrence Charles Paulson
semanticscholar   +1 more source

A new and secure authentication scheme for wireless sensor networks with formal proof

Peer-to-Peer Networking and Applications, 2015
Fan Wu, Lili Xu, S. Kumari, Xiong Li
semanticscholar   +1 more source

Making the most of formal specification through animation, testing and proof

Science of Computer Programming, 1997
Juan Bicarregui, Brian Matthews, Eoin Woods   +2 more
exaly