DE112022007141T5 - Inferenzverifizierungssystem und inferenzverifizierungsverfahren - Google Patents

Inferenzverifizierungssystem und inferenzverifizierungsverfahren Download PDF

Info

Publication number
DE112022007141T5
DE112022007141T5 DE112022007141.9T DE112022007141T DE112022007141T5 DE 112022007141 T5 DE112022007141 T5 DE 112022007141T5 DE 112022007141 T DE112022007141 T DE 112022007141T DE 112022007141 T5 DE112022007141 T5 DE 112022007141T5
Authority
DE
Germany
Prior art keywords
inference
verification
proof
layer
protocol
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.)
Pending
Application number
DE112022007141.9T
Other languages
German (de)
English (en)
Inventor
Yutaro Nishida
Satoshi Yasuda
Yoshihiro Koseki
Goichiro Hanaoka
Nuttapong Attrapadung
Yusuke Sakai
Jacob Chroeis Nakamura Schuldt
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.)
Mitsubishi Electric Corp
Original Assignee
Mitsubishi Electric Corp
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 Mitsubishi Electric Corp filed Critical Mitsubishi Electric Corp
Publication of DE112022007141T5 publication Critical patent/DE112022007141T5/de
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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/0464—Convolutional networks [CNN, ConvNet]
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; 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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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
    • G06N3/084—Backpropagation, e.g. using gradient descent

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Health & Medical Sciences (AREA)
  • Computing Systems (AREA)
  • Biomedical Technology (AREA)
  • Biophysics (AREA)
  • Computational Linguistics (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Molecular Biology (AREA)
  • Artificial Intelligence (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (AREA)
  • Health & Medical Sciences (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Computer And Data Communications (AREA)
  • Storage Device Security (AREA)
  • Communication Control (AREA)
DE112022007141.9T 2022-07-01 2022-07-01 Inferenzverifizierungssystem und inferenzverifizierungsverfahren Pending DE112022007141T5 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2022/026498 WO2024004212A1 (ja) 2022-07-01 2022-07-01 推論検証システムおよび推論検証方法

Publications (1)

Publication Number Publication Date
DE112022007141T5 true DE112022007141T5 (de) 2025-02-27

Family

ID=89381821

Family Applications (1)

Application Number Title Priority Date Filing Date
DE112022007141.9T Pending DE112022007141T5 (de) 2022-07-01 2022-07-01 Inferenzverifizierungssystem und inferenzverifizierungsverfahren

Country Status (5)

Country Link
US (1) US20250094783A1 (https=)
JP (1) JP7493697B1 (https=)
CN (1) CN119452366A (https=)
DE (1) DE112022007141T5 (https=)
WO (1) WO2024004212A1 (https=)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN118114208B (zh) * 2024-01-16 2025-02-11 深圳市华汇数据服务有限公司 一种神经网络输出结果产权证明方法、系统和装置

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11886785B2 (en) * 2020-06-30 2024-01-30 Iucf-Hyu (Industry-University Cooperation Foundation Hanyang University) Method for verifying convolutional neural network model and device thereof

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy. Tianyi Liu, Xiang Xie, und Yupeng Zhang. 2021

Also Published As

Publication number Publication date
JPWO2024004212A1 (https=) 2024-01-04
WO2024004212A1 (ja) 2024-01-04
CN119452366A (zh) 2025-02-14
JP7493697B1 (ja) 2024-05-31
US20250094783A1 (en) 2025-03-20

Similar Documents

Publication Publication Date Title
DE112019003405T5 (de) Automatische feinabstimmungsvorrichtung für einbettungen von cloud-mikrodiensten
DE112021001566T5 (de) Ermitteln von abhängigkeiten multivariater zeitreihendaten
DE102018006962A1 (de) Regelfestlegung für Black-Box-Maschinenlernmodelle
DE112020002110T5 (de) Ressourcenarme entitätsauflösung mit transfer learning
DE102018121905A1 (de) Verfahren und Vorrichtung zum Quantisieren von künstlichen neuronalen Netzen
DE102017121887A1 (de) Ausführen von Kerndurchschreiten in Hardware
DE112021000689T5 (de) Attestierung von neuronalen abläufen
DE112016002296T5 (de) Vektor-recheneinheit in einem neuronalen netzwerkprozessor
DE102018105198A1 (de) Tiefenverkettung unter Verwendung einer Matrixberechnungseinheit
DE112020001774T5 (de) Datensatzabhängiges niedrigrang-zerlegen von neuronalen netzwerken
DE102019007340A1 (de) Technik zum Einrichten und Betreiben eines neuronalen Netzwerks
DE112018000723T5 (de) Aktualisierungsverwaltung für eine RPU-Anordnung
DE112021000627T5 (de) Dynamische erkennung und korrektur von datenqualitätsproblemen
DE112022004894T5 (de) Erweiterung von trainingsdaten über programmvereinfachung
DE112022000915T5 (de) Erstellen eines statistischen modells und auswerten der modellleistung
DE102020207980B3 (de) Anonymisierte Erzeugung und Prüfung verarbeiteter Daten
DE112022007141T5 (de) Inferenzverifizierungssystem und inferenzverifizierungsverfahren
KR102126795B1 (ko) 딥러닝 기반의 이미지 개인정보 가공장치 시스템, 장치 및 그 방법
DE112021006167B4 (de) Automatische anpassung von datenzugriffsrichtlinien in der datenanalytik
EP1264253B1 (de) Verfahren und anordnung zur modellierung eines systems
DE102023212693A1 (de) Vorrichtungen und Verfahren zur sicheren Mehrteilnehmer-Berechnung mit korrelierter Zufälligkeit
DE112020004770B4 (de) Verwaltung einer übertragungshäufigkeit für edge-einheiten eines verteilten netzwerkverbundes
US20250384294A1 (en) Evaluation system, information processing system, evaluation method, and recording medium
DE112022001967T5 (de) Klassifizierung von zellkernen mit vermeidung von artefakten
DE112021001290T5 (de) Bewerten autonomen fahrens anhand von datenanalyse

Legal Events

Date Code Title Description
R012 Request for examination validly filed
R016 Response to examination communication