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.7k
PLDI '21論文読み会: AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
ideininc
0
1.5k
PLDI '21論文読み会: Specification Synthesis with Constrainted Horn Clauses
ideininc
0
1.4k
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.4k
PLDI '21論文読み会: Quantum Abstract Interpretation
ideininc
0
1.4k
Idein会社紹介資料(積極採用中)
ideininc
0
36k
Other Decks in Research
See All in Research
打率7割を実現する、プロダクトディスカバリーの7つの極意(pmconf2024)
geshi0820
0
350
国際会議ACL2024参加報告
chemical_tree
1
440
ソフトウェア研究における脅威モデリング
laysakura
0
1.7k
2038年問題が思ったよりヤバい。検出ツールを作って脅威性評価してみた論文 | Kansai Open Forum 2024
ran350
8
3.9k
地理空間情報と自然言語処理:「地球の歩き方旅行記データセット」の高付加価値化を通じて
hiroki13
1
190
精度を無視しない推薦多様化の評価指標
kuri8ive
1
370
メールからの名刺情報抽出におけるLLM活用 / Use of LLM in extracting business card information from e-mails
sansan_randd
2
430
o1 pro mode の調査レポート
smorce
0
130
ナレッジプロデューサーとしてのミドルマネージャー支援 - MIMIGURI「知識創造室」の事例の考察 -
chiemitaki
0
230
Weekly AI Agents News! 11月号 プロダクト/ニュースのアーカイブ
masatoto
0
310
[ECCV2024読み会] 衛星画像からの地上画像生成
elith
1
1.1k
Intrinsic Self-Supervision for Data Quality Audits
fabiangroeger
0
350
Featured
See All Featured
How GitHub (no longer) Works
holman
314
140k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
7
650
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
4
380
Why Our Code Smells
bkeepers
PRO
336
57k
Producing Creativity
orderedlist
PRO
344
40k
Speed Design
sergeychernyshev
27
810
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
129
19k
Mobile First: as difficult as doing things right
swwweet
223
9.5k
Making the Leap to Tech Lead
cromwellryan
133
9.1k
Reflections from 52 weeks, 52 projects
jeffersonlam
348
20k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
Gamification - CAS2011
davidbonilla
80
5.2k
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Ͱޮྑ͘ղ͚Δ