GB202107304D0 - Verifying neural networks - Google Patents

Verifying neural networks

Info

Publication number
GB202107304D0
GB202107304D0 GBGB2107304.4A GB202107304A GB202107304D0 GB 202107304 D0 GB202107304 D0 GB 202107304D0 GB 202107304 A GB202107304 A GB 202107304A GB 202107304 D0 GB202107304 D0 GB 202107304D0
Authority
GB
United Kingdom
Prior art keywords
neural networks
verifying
verifying neural
networks
neural
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Ceased
Application number
GBGB2107304.4A
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Ip2ipo Innovations Ltd
Original Assignee
Imperial College Innovations Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Imperial College Innovations Ltd filed Critical Imperial College Innovations Ltd
Priority to GBGB2107304.4A priority Critical patent/GB202107304D0/en
Publication of GB202107304D0 publication Critical patent/GB202107304D0/en
Priority to PCT/EP2022/063919 priority patent/WO2022243570A1/en
Ceased legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/08—Learning methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/04—Architecture, e.g. interconnection topology
    • G06N3/045—Combinations of networks
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/04—Architecture, e.g. interconnection topology
    • G06N3/048—Activation functions

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • General Health & Medical Sciences (AREA)
  • Biomedical Technology (AREA)
  • Biophysics (AREA)
  • Computational Linguistics (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Evolutionary Computation (AREA)
  • Artificial Intelligence (AREA)
  • Molecular Biology (AREA)
  • Computing Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (AREA)
  • Health & Medical Sciences (AREA)
  • Image Analysis (AREA)
GBGB2107304.4A 2021-05-21 2021-05-21 Verifying neural networks Ceased GB202107304D0 (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
GBGB2107304.4A GB202107304D0 (en) 2021-05-21 2021-05-21 Verifying neural networks
PCT/EP2022/063919 WO2022243570A1 (en) 2021-05-21 2022-05-23 Verifying neural networks

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GBGB2107304.4A GB202107304D0 (en) 2021-05-21 2021-05-21 Verifying neural networks

Publications (1)

Publication Number Publication Date
GB202107304D0 true GB202107304D0 (en) 2021-07-07

Family

ID=76637762

Family Applications (1)

Application Number Title Priority Date Filing Date
GBGB2107304.4A Ceased GB202107304D0 (en) 2021-05-21 2021-05-21 Verifying neural networks

Country Status (2)

Country Link
GB (1) GB202107304D0 (en)
WO (1) WO2022243570A1 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2023250435A1 (en) * 2022-06-22 2023-12-28 Ntt Research, Inc. Remote execution verification with reduced resource requirements

Also Published As

Publication number Publication date
WO2022243570A1 (en) 2022-11-24

Similar Documents

Publication Publication Date Title
GB202319838D0 (en) Player analysis using one or more neural networks
GB202201887D0 (en) Image generation using one or more neural networks
GB201915390D0 (en) Machine-learning techniques for monotonic neural networks
GB202200847D0 (en) Techniques for classification with neural networks
EP3850580A4 (en) Condense-expansion-depth-wise convolutional neural network for face recognition
GB202208680D0 (en) Fusing multimodal data using recurrent neural networks
EP3602416A4 (en) Apparatuses and methods for operating neural networks
GB202105623D0 (en) Distance determinations using one or more neural networks
GB202203473D0 (en) Enhanced object identification using one or more neural networks
EP3942474A4 (en) Diagnostics using one or more neural networks
GB202112182D0 (en) View generation using one or more neural networks
GB202205243D0 (en) Pose determination using one or more neural networks
GB2596477B (en) Hybrid neural network and autoencoder
GB202117695D0 (en) Neural network scheduler
GB2593055B (en) Encoder-decoder memory-augmented neural network architectures
EP3893734A4 (en) Multi-channel orthogonal convolutional neural networks
GB2590482B (en) Fault detection in neural networks
GB202108909D0 (en) Recommendation generation using one or more neural networks
GB202112184D0 (en) Techniques for pruning neural networks
GB202203553D0 (en) Pruning neural networks
EP3991101A4 (en) Stacked artificial neural networks
GB202113789D0 (en) Spiking synaptic elements for spiking neural networks
GB2609542B (en) Techniques for classification with neural networks
GB202108272D0 (en) Environment generation using one or more neural networks
IL288021B1 (en) Cluster-connected neural network

Legal Events

Date Code Title Description
AT Applications terminated before publication under section 16(1)