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.3k
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
25k
Other Decks in Research
See All in Research
フルリモートワークでのスクラムのスケール
kmorita1111
2
920
生成AIを用いたText to SQLの最前線
masatoto
0
1k
Alternative Photographic Processes Reimagined: The Role of Digital Technology in Revitalizing Classic Printing Techniques【SIGGRAPH Asia 2023】
toremolo72
0
400
LLMマルチエージェントを俯瞰する
masatoto
25
14k
MegaParticles: GPUを利用したStein Particle Filterによる点群6自由度姿勢推定
koide3
1
420
株式会社リクルートホールディングス 企業分析
frandle256
0
110
第12回全日本コンピュータビジョン勉強会:画像の自己教師あり学習における大規模データセット
naok615
0
460
「歴史的農業環境閲覧システム」と「迅速測図」について
wata909
1
510
Generative AI - practice and theory
gpeyre
1
470
Schrödinger Bridge問題に基づく拡散生成モデル学習
takeshi_koshizuka
1
500
Rの機械学習フレームワークの紹介〜tidymodelsを中心に〜 / machine_learning_with_r2024
s_uryu
0
150
F0に基づいて伸縮された画像文字からの音声合成 [ASJ2024春]
nehi0615
0
100
Featured
See All Featured
BBQ
matthewcrist
78
8.7k
Unsuck your backbone
ammeep
660
56k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
240
1.2M
ParisWeb 2013: Learning to Love: Crash Course in Emotional UX Design
dotmariusz
101
6.6k
Building a Scalable Design System with Sketch
lauravandoore
455
32k
Building Your Own Lightsaber
phodgson
97
5.6k
Mobile First: as difficult as doing things right
swwweet
215
8.5k
Java REST API Framework Comparison - PWX 2021
mraible
PRO
18
6.8k
Fontdeck: Realign not Redesign
paulrobertlloyd
75
4.8k
Robots, Beer and Maslow
schacon
PRO
154
7.9k
The Straight Up "How To Draw Better" Workshop
denniskardys
227
130k
Infographics Made Easy
chrislema
237
17k
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Ͱޮྑ͘ղ͚Δ