Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
PLDI '21論文読み会: Provable Repair of Deep Neural Networks
Search
Idein
June 08, 2022
Research
2
1.5k
PLDI '21論文読み会: Provable Repair of Deep Neural Networks
Idein
June 08, 2022
Tweet
Share
More Decks by Idein
See All by Idein
PLDI '21論文読み会: DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
ideininc
0
1.5k
PLDI '21論文読み会: AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
ideininc
0
1.4k
PLDI '21論文読み会: Specification Synthesis with Constrainted Horn Clauses
ideininc
0
1.3k
PLDI '21論文読み会: Cyclic Program Synthesis
ideininc
0
1.4k
PLDI '21論文読み会: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
ideininc
0
1.3k
PLDI '21論文読み会: Quantum Abstract Interpretation
ideininc
0
1.2k
Idein会社紹介資料(積極採用中)
ideininc
0
27k
Other Decks in Research
See All in Research
[KDD2023論文読み会] BERT4CTR: An Efficient Framework to Combine Pre-trained Language Model with Non-textual Features for CTR Prediction / KDD2023 LY Tech Reading
shunk031
0
470
フルリモートワークでのスクラムのスケール
kmorita1111
2
1k
DeepCrysTet: A Deep Learning Approach Using Tetrahedral Mesh for Predicting Properties of Crystalline Materials
tsurubee
0
390
第4回ナレッジグラフ勉強会:ISWC2023論文読み会
kg_wakate
1
220
音声処理ツールキットESPnetの現在と未来
kanbayashi1125
3
570
Target trial emulationの概要
shuntaros
2
1.2k
Bridging Continuous and Discrete Spaces: Interpretable Sentence Representation Learning via Compositional Operations
rudorudo11
0
160
20240209 データを肴に熊本の交通を考える会「車1割削減、渋滞半減、公共交通2倍」をめざし世界に学ぼう
trafficbrain
0
900
SSII2023 医療支援における画像処理研究の動向と展望
moda0
0
120
脳卒中患者・家族からみた循環器病対策推進基本計画の進捗に関する調査
japanstrokeassociation
0
540
継続的な研究費獲得のための考え方
moda0
2
460
メタ動画データセットによる動作認識の現状と可能性
yuyay
0
220
Featured
See All Featured
The Brand Is Dead. Long Live the Brand.
mthomps
49
29k
Clear Off the Table
cherdarchuk
85
310k
Music & Morning Musume
bryan
41
5.6k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
323
20k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
501
140k
Designing the Hi-DPI Web
ddemaree
276
33k
Imperfection Machines: The Place of Print at Facebook
scottboms
261
12k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
660
120k
Thoughts on Productivity
jonyablonski
60
3.9k
The World Runs on Bad Software
bkeepers
PRO
61
6.7k
From Idea to $5000 a Month in 5 Months
shpigford
378
45k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
245
20k
Transcript
1SPWBCMF3FQBJSPG%FFQ /FVSBM/FUXPSLT 1-%*ಡΈձ!*EFJO
Ϟνϕʔγϣϯ w %//͕TBGFUZDSJUJDBMͳྖҬʹΘΕग़͠͡Ίͨ w %//Ϟσϧ͕࣋ͭzVOTBGFͳڍಈͷݕग़ʹର͢Δಈػͱͳ͖ͬͯͨɽ w ྫ "EWFSTBSJBM&YBNQMFT w zVOTBGFͳڍಈz͕ݕग़͞Εͨޙͷɼ%//Ϟσϧͷzमਖ਼͕͍ͨ͠
w ͜ͷจɼ%//ੑ࣭ͷྑ͍ύονΛͯ ΒΕ ΔΈͱͦͷύον ͷߏ๏ʹ͍ͭͯͷఏҊ
طଘͷमਖ਼ํ๏ GJOFUVOJOH w 'JOFUVOJOH࣮ੈքͷӡ༻γφϦΦʹద߹͍͠ w ඇޮ w ݩʑͷσʔληοτ͕ࠓೖखͰ͖Δঢ়ଶɾ͔݅Θ͔Βͳ͍ w ৽ͨͳόά
҆શͰͳ͍ڍಈ ͷࠞೖ w ϋΠύϥνϡʔϯ͕ηϯγςΟϒ w ESBXEPXO fi OFUVOJOHʹΑΔ ݩʑຬͨ͞Ε͍ͯͨഺͷੑ࣭ͷݮগ
lमਖ਼zΞϧΰϦζϜʹٻΊΒΕΔੑ࣭ w ޮೳमਖ਼ͨ͠%//Ͱ͋Δ/`मਖ਼લͷ%///͕VOTBGFͳڍಈΛ͢Δೖྗσ ʔληοτ9ͷೖྗʹର͠ɼظ௨ΓৼΔ͏Α͏ʹमਖ਼͞ΕΔ w ൚Խੑೳ/9ͷೖྗʹࣅͨೖྗʹରͯ͠ɼظ௨ΓৼΔ͏Α͏ʹम ਖ਼͞ΕΔ w ہॴੑ/9ͷೖྗʹࣅͯͳ͍ೖྗʹରͯ͠ɼ/ͱಉ༷ʹৼΔ͏Α͏ मਖ਼͞ΕΔ
w ޮ/ʹର͠/`͕͢Έ͔ʹٻΊΒΕΔ
ఏҊख๏ w %FDPVQMFE%//T %%//T ΞʔΩςΫνϟͷಋೖ w ݩͷ%//ʹύον༻αϒܭࢉάϥϑΛޙ͚ͨ͠%// w 1SPWBCMF1PJOUXJTF3FQBJS w
%%//T্Ͱͷ༗ݶʹର͢Δࢦఆ୯ʹର͢ΔॏΈमਖ਼ w 1SPWBCMF1PMZUPQF3FQBJS w ˢͷ༗ݶΛತଟ໘ମͷू߹ແݶʹ֦ுͨ͠ͷ
1JFDFXJTFMJOFBS 18- ؔ w ͋ΔؔGͰ w EPNBJOΛ༗ݶݸͷଟ໘ମʹׂͰ͖Δ w ׂ֤ͨ͠EPNBJOຖʹGͱՁͳΞϑΟϯมG`͕ଘࡏ͢Δ w
ྫ3F-6-FBLZ3F-6ɼ3F-6ɼ$MJQ͔͠ΘΕ͍ͯͳ͍%//
Λ-1ʹؼண͍ͤͨ͞ɼ͕ w %//ඇઢܗͳ׆ੑԽؔΛ࣋ͭ w Γ͍ͨ͜ͱ 1PJOUXJTF3FQBJSͷϕʔεͱͳΔΞΠσΞ w 18-%//EPNBJOΛదʹׂ͢Δͱɼͦͷׂͨ͠ྖҬຖʹઢܗʹ ѻ͑Δ
w मਖ਼͍ͨ͠ೖྗσʔληοτ9தͷ֤͕ଐ͢ΔઢܗྖҬʹର͠ɼظ͢Δ ݁ՌͱͷؒͰ݅ࣜͱ͠ɼॏΈΛ࠷దԽ͢Δ-1Λղ͘
Λ-1ʹؼணͤ͞ΒΕͳ͍ɼ୯७ʹ w ॏΈΛม͑ΔͱEPNBJOͷׂ·ͨมΘͬͯ͠·͏ͨΊ w Մೳͳͷ׆ੑԽؔΛ࣋ͨͳ͍࠷ऴͷΈ w தؒʹΔͱμϝ
ׂ͕มΘͬͯ͠·͏ྫ Z3F-6 Y 3F-6 Y 3F-6 Y w Γ͍ͨमਖ਼ w
Yͷͱ͖㱡Z㱡 w Yͷͱ͖㱡Z㱡 w YˠIͷॏΈΛʹमਖ਼͢Δ ਤC ্ ͱׂ ਤCԼͷ3(#۠ؒ ม Θͬͯ͠·͍ظ௨ΓʹͳΒͳ ͍
%FDPVQMFE%//T w ݩͷ%//͔ΒՁͳͷΛػցతʹ ߏͰ͖Δɼͭͷαϒάϥϑ͔Βͳ Δߏͷ%// w "DUJWBUJPODIBOOFM w 7BMVFDIBOOFM w
ׂΛม͑ͣʹॏΈͷมߋ͚ͩө͞ ͤΒΕΔ
%FDPVQMFE%//T "DUJWBUJPODIBOOFM w ׂͷҡ࣋ͷͨΊ w ೖྗ͔Βݩͷ%//Ͱܭࢉ͠ɼमਖ਼ର ͷ݁ՌΛ7BMVFDIBOOFMͷରԠ ʹ͓͚Δܭࢉʹөͤ͞Δ w ͦΕҎ֎ݩͷ%//ͱҰॹ
%FDPVQMFE%//T 7BMVFDIBOOFM w -1ͷ݁ՌΛద༻͢Δଆ w "DUJWBUJPODIBOOFMͷରԠʹ͓͚ Δ݁ՌΛҎͬͯ׆ੑԽؔΛઢܗؔ Ͱஔ͖͑ͨͷ w 3F-6ͳΒPS
w Ұൠత 18-Ͱͳ͍׆ੑԽؔͷ ߹ ʹ+BDPCJBOͰ͍͍
%FDPVQMFE%//Tͷಛ w ྆$IBOOFMͷ֤ʹݩͷ%//ͷରԠͱಉ͡ॏΈ͕ೖ͍ͬͯΔͳΒɼ֤ೖ ྗʹ͓͍ͯݩͷ%//ͱ%%//֎ԆతʹՁͳؔ w ҙͷೖྗΛݻఆ͢Δͱ7BMVF$IBOOFMத͋ΔͷॏΈͷมߋʹରͯ͠ ઢܗ w ݩͷ%//͕18-ͷ߹ɼ%%//ͷ7BMVF$IBOOFMதͷॏΈͷมߋݩͷ 18-%//ͷઢܗྖҬΛม͑ͯ͠·͏͜ͱ͕ͳ͍
1SPWBCMF1PJOUXJTF3FQBJS w %//͔ΒՁͳ%%//Λߏ w %%//ʹରͯ͠ݩʑ%//ͷॏΈʹରͯ͠Γ͔ͨͬͨΑ͏ ʹ-1Ͱ7BMVFDIBOOFMͷॏΈΛʹ͍ͭͯղ͖ɼߋ৽͢Δ
मਖ਼ͷ֦ு w 1PJOUXJTF3FQBJSͰ༗ݶݸͷͷೖྗʹରͯͩͬͨ͠ w Yͷͱ͖㱡Z㱡 w Yͷͱ͖㱡Z㱡 w ೖྗΛͰͳ͘༗ݶݸͷ ತͳ
QPMZUPQF ͷVOJPO ͳྖҬͰදݱ͞ΕΔແݶ ʹ֦ு͍ͨ͠ w 㱡Y㱡ͷͱ͖㱡Z㱡
मਖ਼ͷ֦ுͷ1PJOUXJTF3FQBJSͷؼண w 1PMZUPQFͷྖҬͱEPNBJOׂͨ͠ઢܗྖҬͷJOUFSTFDUJPOΛऔΔ w ઢܗྖҬΛٻΊͯ͏ͷͰ18-%//ʹର͔ͯ͑͠͠ͳ͍ w *OUFSTFDUJPOͷ֤͚ͩΛݟ੍ͯʹ͢Ε͍͍ w ༗ݶݸͷʹର͢Δ੍ʹؼண͞ΕΔ w
1SPWBCMF1PJOUXJTF3FQBJSͰղ͚Δ
1SPWBCMF1PMZUPQF3FQBJS w Γ͍ͨमਖ਼ ࠶ܝ w 㱡Y㱡ͷͱ͖㱡Z㱡 w JOUFSTFDUJPOͷ֤͚ͩΛݟ֤ͯͰͷ੍ʹ͢Δ w
Y ͷͰ㱡Z㱡 w 1SPWBCMF1PJOUXJTF3FQBJS͢Δ
࣮ݧ݁Ռ 4RVFF[F/FU *NBHF/FU /BUVSBM"EWFSTBSJBM&YBNQMFT w 13͕ຊख๏Ͱ%SBXEPXO͕ϕετͷͷͷɼ'5͕'JOFUVOJOHɼ .'5 NPEJ fi FE
ͷΈͷ w && ffi DBDZ %%SBXEPXO 55JNF w 13 '5Ͱ&
·ͱΊ w ܇࿅ࡁΈ%//ϞσϧΛύονमਖ਼Ͱ͖Δख๏ΛఏҊ w ܇࿅࣌σʔληοτ͕ෆཁ w ESBXEPXOͳͲͷѱӨڹ͕গͳ͍ w -1Ͱޮྑ͘ղ͚Δ