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 N...
Search
Idein
June 08, 2022
Research
2
1.7k
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
1
1.8k
PLDI '21論文読み会: AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
ideininc
0
1.6k
PLDI '21論文読み会: Specification Synthesis with Constrainted Horn Clauses
ideininc
0
1.5k
PLDI '21論文読み会: Cyclic Program Synthesis
ideininc
0
1.5k
PLDI '21論文読み会: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
ideininc
0
1.5k
PLDI '21論文読み会: Quantum Abstract Interpretation
ideininc
0
1.5k
会社紹介資料/Idein株式会社
ideininc
0
41k
Other Decks in Research
See All in Research
定性データ、どう活かす? 〜定性データのための分析基盤、はじめました〜 / How to utilize qualitative data? ~We have launched an analysis platform for qualitative data~
kaminashi
6
1.1k
Large Language Model Agent: A Survey on Methodology, Applications and Challenges
shunk031
12
8.4k
Trust No Bot? Forging Confidence in AI for Software Engineering
tomzimmermann
1
240
Computational OT #4 - Gradient flow and diffusion models
gpeyre
0
310
データxデジタルマップで拓く ミラノ発・地域共創最前線
mapconcierge4agu
0
180
Generative Models 2025
takahashihiroshi
21
12k
SSII2025 [TS1] 光学・物理原理に基づく深層画像生成
ssii
PRO
4
3.8k
線形判別分析のPU学習による朝日歌壇短歌の分析
masakat0
0
140
データサイエンティストの就労意識~2015→2024 一般(個人)会員アンケートより
datascientistsociety
PRO
0
710
電通総研の生成AI・エージェントの取り組みエンジニアリング業務向けAI活用事例紹介
isidaitc
1
660
Vision And Languageモデルにおける異なるドメインでの継続事前学習が性能に与える影響の検証 / YANS2024
sansan_randd
1
110
学生向けアンケート<データサイエンティストについて>
datascientistsociety
PRO
0
3.6k
Featured
See All Featured
4 Signs Your Business is Dying
shpigford
184
22k
Build The Right Thing And Hit Your Dates
maggiecrowley
36
2.8k
Easily Structure & Communicate Ideas using Wireframe
afnizarnur
194
16k
jQuery: Nuts, Bolts and Bling
dougneiner
63
7.8k
Writing Fast Ruby
sferik
628
62k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
10
960
Typedesign – Prime Four
hannesfritz
42
2.7k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
34
5.9k
A Tale of Four Properties
chriscoyier
160
23k
Faster Mobile Websites
deanohume
307
31k
Art, The Web, and Tiny UX
lynnandtonic
299
21k
Code Reviewing Like a Champion
maltzj
524
40k
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Ͱޮྑ͘ղ͚Δ