learning deterministically recognizable tree series
play

Learning Deterministically Recognizable Tree Series Revisited - PowerPoint PPT Presentation

Dec 23, 2023 •288 likes •776 views

Learning Deterministically Recognizable Tree Series Revisited Andreas Maletti , 22 May 2007 00 Motivation Goal Given with

  1. Learning Deterministically Recognizable Tree Series — Revisited Andreas Maletti ✂ ✎✛✛☛✕ ♦ ✗ ✓ ✓✔✑ , 22 May 2007

  2. 00 Motivation Goal ✎ Given ✥ ✿ ❚ ✝ ✦ ❆ with ✭ ❆❀ ✰ ❀ ✁ ❀ ✵ ❀ ✶✮ semifield ✎ Learn finite representation (here: deterministic wta) of ✥ , if possible ✎ Access to ✥ is granted by a certain form of teacher (oracle) TU Dresden, 22 May 2007 Learning deterministic wta slide 2 of 26

  3. 00 Table of Contents Notation Weighted tree automaton Myhill-Nerode congruence Learning algorithm An example TU Dresden, 22 May 2007 Learning deterministic wta slide 3 of 26

  4. 01 Notation Trees ✎ ❚ ✝ : trees over ranked alphabet ✝ ✎ ❈ ✝ : contexts (trees with exactly one occurrence of ✄ ) over ✝ ✎ s✐③❡✭ t ✮ : number of nodes of a tree t Tree series ✎ tree series: mapping of type ❚ ✝ ✦ ❆ ✎ we write ✭ ✥❀ t ✮ for ✥ ✭ t ✮ with ✥ ✿ ❚ ✝ ✦ ❆ ✎ ❆ ❤ ❤ ❚ ✝ ✐ ✐ : set of all mappings of type ❚ ✝ ✦ ❆ TU Dresden, 22 May 2007 Learning deterministic wta slide 4 of 26

  5. 02 Table of Contents Notation Weighted tree automaton Myhill-Nerode congruence Learning algorithm An example TU Dresden, 22 May 2007 Learning deterministic wta slide 5 of 26

  6. 02 Syntax Definition (Borchardt and Vogler ’03) ✭ ◗❀ ✝ ❀ ❆ ❀ ✖❀ ❋ ✮ is a weighted tree automaton (wta) ✎ ◗ is a finite nonempty set (states) ✎ ✝ is a ranked alphabet (of input symbols) ✎ ❆ ❂ ✭ ❆❀ ✰ ❀ ✁ ❀ ✵ ❀ ✶✮ is a semifield (of weights) ✎ ✖ ❂ ✭ ✖ ❦ ✮ ❦ ✕ ✵ with ✖ ❦ ✿ ✝ ✭ ❦ ✮ ✦ ❆ ◗ ❦ ✂ ◗ (called tree representation) ✎ ❋ ✒ ◗ (final states) Definition wta ✭ ◗❀ ✝ ❀ ❆ ❀ ✖❀ ❋ ✮ is deterministic if for every ✛ ✷ ✝ ✭ ❦ ✮ and ✇ ✷ ◗ ❦ there exists at most one q ✷ ◗ such that ✖ ❦ ✭ ✛ ✮ ✇❀q ✻ ❂ ✵ . TU Dresden, 22 May 2007 Learning deterministic wta slide 6 of 26

  7. 02 Example wta ◗ ❂ ❢ S ❀ VP ❀ NP ❀ NN ❀ ADJ ❀ VB ❣ and ❋ ❂ ❢ S ❣ Alice ✵ ✿ ✺ Bob ✵ ✿ ✺ loves ✵ ✿ ✺ hates ✵ ✿ ✺ ✦ NN ✦ NN ✦ VB ✦ VB ugly ✵ ✿ ✷✺ nice ✵ ✿ ✷✺ mean ✵ ✿ ✷✺ tall ✵ ✿ ✷✺ ✦ ADJ ✦ ADJ ✦ ADJ ✦ ADJ ✛ ✛ ✛ ✵ ✿ ✺ ✵ ✿ ✺ ✵ ✿ ✺ ✦ S ✦ S ✦ VP NN VP NP VP VB NN ✛ ✛ ✛ ✵ ✿ ✺ ✵ ✿ ✺ ✵ ✿ ✺ ✦ VP ✦ NP ✦ NP VB NP ADJ NN ADJ NP TU Dresden, 22 May 2007 Learning deterministic wta slide 7 of 26

  8. 02 Computation using wta Example ✛ ✛ ✛ mean ✵ ✿ ✷✺ ✦ ADJ mean Bob hates ✛ ugly Alice TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  9. 02 Computation using wta Example ✛ ✛ ✛ Bob ✵ ✿ ✺ ✦ NN ADJ ✵ ✿ ✷✺ Bob hates ✛ ugly Alice TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  10. 02 Computation using wta Example ✛ ✛ ✛ ✛ ✵ ✿ ✺ ✦ NP ADJ ✵ ✿ ✷✺ NN ✵ ✿ ✺ hates ✛ ADJ NN ugly Alice TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  11. 02 Computation using wta Example ✛ ◆P ✵ ✿ ✵✻✷✺ ✛ hates ✵ ✿ ✺ ✦ VB hates ✛ ugly Alice TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  12. 02 Computation using wta Example ✛ ◆P ✵ ✿ ✵✻✷✺ ✛ ugly ✵ ✿ ✷✺ ✦ ADJ VB ✵ ✿ ✺ ✛ ugly Alice TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  13. 02 Computation using wta Example ✛ ◆P ✵ ✿ ✵✻✷✺ ✛ Alice ✵ ✿ ✺ ✦ NN VB ✵ ✿ ✺ ✛ ADJ ✵ ✿ ✷✺ Alice TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  14. 02 Computation using wta Example ✛ ◆P ✵ ✿ ✵✻✷✺ ✛ ✛ ✵ ✿ ✺ ✦ NP VB ✵ ✿ ✺ ADJ NN ✛ ADJ ✵ ✿ ✷✺ NN ✵ ✿ ✺ TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  15. 02 Computation using wta Example ✛ ✛ ◆P ✵ ✿ ✵✻✷✺ ✵ ✿ ✺ ✛ ✦ VP VB NP VB ✵ ✿ ✺ ◆P ✵ ✿ ✵✻✷✺ TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  16. 02 Computation using wta Example ✛ ✛ ✵ ✿ ✺ ✦ S ◆P ✵ ✿ ✵✻✷✺ ❱P ✵ ✿ ✵✵✼✽✶✷✺ NP VP TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  17. 02 Computation using wta Example ❙ ✵ ✿ ✵✵✵✷✹✹✶✹✵✻✷✺ So the tree ✛ ✛ ✛ mean Bob hates ✛ ugly Alice is accepted with weight ✵ ✿ ✵✵✵✷✹✹✶✹✵✻✷✺ . TU Dresden, 22 May 2007 Learning deterministic wta slide 8 of 26

  18. 02 Computation using wta (cont’d) Example ✛ Bob Alice ✵ ✿ ✺ ✛ ✦ NN Alice loves TU Dresden, 22 May 2007 Learning deterministic wta slide 9 of 26

  19. 02 Computation using wta (cont’d) Example ✛ Bob loves ✵ ✿ ✺ ✛ ✦ VB NN ✵ ✿ ✺ loves TU Dresden, 22 May 2007 Learning deterministic wta slide 9 of 26

  20. 02 Computation using wta (cont’d) Example ✛ Bob Bob ✵ ✿ ✺ ✛ ✦ NN NN ✵ ✿ ✺ VB ✵ ✿ ✺ TU Dresden, 22 May 2007 Learning deterministic wta slide 9 of 26

  21. 02 Computation using wta (cont’d) Example ✛ NN ✵ ✿ ✺ ✛ ? NN ✵ ✿ ✺ VB ✵ ✿ ✺ TU Dresden, 22 May 2007 Learning deterministic wta slide 9 of 26

  22. 02 Computation using wta (cont’d) Example So the tree ✛ Bob ✛ Alice loves is rejected (accepted with weight ✵ ). TU Dresden, 22 May 2007 Learning deterministic wta slide 9 of 26

  23. 02 Deterministically recognizable Definition A tree series ✥ ✷ ❆ ❤ ❤ ❚ ✝ ✐ ✐ is deterministically recognizable if there exists a deterministic wta accepting ✥ . TU Dresden, 22 May 2007 Learning deterministic wta slide 10 of 26

  24. 03 Table of Contents Notation Weighted tree automaton Myhill-Nerode congruence Learning algorithm An example TU Dresden, 22 May 2007 Learning deterministic wta slide 11 of 26

  25. ✥ ❂ s✐③❡ ❆ ❂ ✭ ❩ ❬ ❢✶❣ ❀ ♠✐♥ ❀ ✰ ❀ ✶ ❀ ✵✮ t ✑ ✉ t❀ ✉ ✷ ❚ ✝ ❛ ❂ s✐③❡✭ ✉ ✮ � s✐③❡✭ t ✮ ❛ ✰ s✐③❡✭ ❝ ❬ t ❪✮ ❂ ❛ ✰ s✐③❡✭ ❝ ✮ � ✶ ✰ s✐③❡✭ t ✮ ❂ s✐③❡✭ ✉ ✮ ✰ s✐③❡✭ ❝ ✮ � ✶ ❂ s✐③❡✭ ❝ ❬ ✉ ❪✮ 03 Definition In the sequel, let ✥ ✷ ❆ ❤ ❤ ❚ ✝ ✐ ✐ with ❆ ❂ ✭ ❆❀ ✰ ❀ ✁ ❀ ✵ ❀ ✶✮ a semifield. Definition (Borchardt ’03) Two trees t❀ ✉ ✷ ❚ ✝ are equivalent if there exists ❛ ✷ ❆ ♥ ❢ ✵ ❣ such that for every context ❝ ✷ ❈ ✝ ❛ ✁ ✭ ✥❀ ❝ ❬ t ❪✮ ❂ ✭ ✥❀ ❝ ❬ ✉ ❪✮ ✿ This equivalence relation is denoted by ✑ . TU Dresden, 22 May 2007 Learning deterministic wta slide 12 of 26

  26. 03 Definition In the sequel, let ✥ ✷ ❆ ❤ ❤ ❚ ✝ ✐ ✐ with ❆ ❂ ✭ ❆❀ ✰ ❀ ✁ ❀ ✵ ❀ ✶✮ a semifield. Definition (Borchardt ’03) Two trees t❀ ✉ ✷ ❚ ✝ are equivalent if there exists ❛ ✷ ❆ ♥ ❢ ✵ ❣ such that for every context ❝ ✷ ❈ ✝ ❛ ✁ ✭ ✥❀ ❝ ❬ t ❪✮ ❂ ✭ ✥❀ ❝ ❬ ✉ ❪✮ ✿ This equivalence relation is denoted by ✑ . Example Let ✥ ❂ s✐③❡ and ❆ ❂ ✭ ❩ ❬ ❢✶❣ ❀ ♠✐♥ ❀ ✰ ❀ ✶ ❀ ✵✮ . Then t ✑ ✉ for every t❀ ✉ ✷ ❚ ✝ because with ❛ ❂ s✐③❡✭ ✉ ✮ � s✐③❡✭ t ✮ ❛ ✰ s✐③❡✭ ❝ ❬ t ❪✮ ❂ ❛ ✰ s✐③❡✭ ❝ ✮ � ✶ ✰ s✐③❡✭ t ✮ ❂ s✐③❡✭ ✉ ✮ ✰ s✐③❡✭ ❝ ✮ � ✶ ❂ s✐③❡✭ ❝ ❬ ✉ ❪✮ TU Dresden, 22 May 2007 Learning deterministic wta slide 12 of 26

  27. ✎ ✥ ✎ ✑ ✑ ✥ 03 Myhill-Nerode theorem Lemma (Borchardt ’03) ✑ is a congruence on ✭ ❚ ✝ ❀ ✝✮ . TU Dresden, 22 May 2007 Learning deterministic wta slide 13 of 26

  28. 03 Myhill-Nerode theorem Lemma (Borchardt ’03) ✑ is a congruence on ✭ ❚ ✝ ❀ ✝✮ . Theorem (Borchardt ’03) The following are equivalent: ✎ ✥ is deterministically recognizable. ✎ ✑ has finite index. Note: The implementation of ✑ yields a minimal deterministic wta accepting ✥ . TU Dresden, 22 May 2007 Learning deterministic wta slide 13 of 26

  29. ✎ ✑ ✑ ❈ ✝ ✑ ❈ ✒ ❈ ✝ ✑ ✑ ❈ ✎ 03 Approximating the Myhill-Nerode relation Definition Let ❈ ✒ ❈ ✝ . Two trees t❀ ✉ ✷ ❚ ✝ are ❈ -equivalent if there exists ❛ ✷ ❆ ♥ ❢ ✵ ❣ such that for every context ❝ ✷ ❈ ❛ ✁ ✭ ✥❀ ❝ ❬ t ❪✮ ❂ ✭ ✥❀ ❝ ❬ ✉ ❪✮ ✿ The ❈ -equivalence relation is denoted by ✑ ❈ . TU Dresden, 22 May 2007 Learning deterministic wta slide 14 of 26

  30. 03 Approximating the Myhill-Nerode relation Definition Let ❈ ✒ ❈ ✝ . Two trees t❀ ✉ ✷ ❚ ✝ are ❈ -equivalent if there exists ❛ ✷ ❆ ♥ ❢ ✵ ❣ such that for every context ❝ ✷ ❈ ❛ ✁ ✭ ✥❀ ❝ ❬ t ❪✮ ❂ ✭ ✥❀ ❝ ❬ ✉ ❪✮ ✿ The ❈ -equivalence relation is denoted by ✑ ❈ . Lemma ✎ ✑ and ✑ ❈ ✝ coincide. ✎ If ✑ has finite index, then there exists finite ❈ ✒ ❈ ✝ such that ✑ and ✑ ❈ coincide. TU Dresden, 22 May 2007 Learning deterministic wta slide 14 of 26

Recommend

The Learning Tree Workshop: The Learning Tree Workshop: Regulating Sensation Series on Learning

The Learning Tree Workshop: The Learning Tree Workshop: Regulating Sensation Series on Learning

The Learning Tree Workshop: The Learning Tree Workshop: Regulating Sensation Series on Learning Differences, Learning Challenges, and Learning Strengths Transcript by Stanley I. Greenspan M.D. Narration by Brian MacDonald Sensory Modulation

453 views • 16 slides
Welcome to Welcome to The Learning Tree Workshop Series on Learning Differences, Learning

Welcome to Welcome to The Learning Tree Workshop Series on Learning Differences, Learning

Welcome to Welcome to The Learning Tree Workshop Series on Learning Differences, Learning Challenges, and Learning Strengths Strengths As a companion to Dr. Greenspans The Learning Tree : g Overcoming Learning Disabilities From the

367 views • 16 slides
The Learning Tree Workshop: The Learning Tree Workshop: Experience-based Learning Series on

The Learning Tree Workshop: The Learning Tree Workshop: Experience-based Learning Series on

The Learning Tree Workshop: The Learning Tree Workshop: Experience-based Learning Series on Learning Differences, Learning Challenges, and Learning Strengths Experience-based Learning: Experience based Learning: Language Build on the

370 views • 14 slides
Recognizable Series on Hypergraphs el Bailly 1 cois Denis 2 Guillaume Rabusseau 2 Rapha Fran

Recognizable Series on Hypergraphs el Bailly 1 cois Denis 2 Guillaume Rabusseau 2 Rapha Fran

Recognizable Series on Hypergraphs el Bailly 1 cois Denis 2 Guillaume Rabusseau 2 Rapha Fran 1 Universit e de Technologie de Compi` egne 2 LIF, CNRS, Aix-Marseille Universit e LATA2015 March 5, 2015 Bailly, Denis, Rabusseau (UTC -

746 views • 47 slides
The Learning Tree Workshop: O Organizing Actions: Motor Planning i i A ti M t Pl i and

The Learning Tree Workshop: O Organizing Actions: Motor Planning i i A ti M t Pl i and

The Learning Tree Workshop: O Organizing Actions: Motor Planning i i A ti M t Pl i and Sequencing Series on Learning Differences, Learning Challenges, and Learning Strengths Why is this so Important? The capacity for motor planning

206 views • 17 slides
Lecture 13 EQ TM is neither recognizable nor co-recognizable M 0 : on any input x, reject x. L(M

Lecture 13 EQ TM is neither recognizable nor co-recognizable M 0 : on any input x, reject x. L(M

Lecture 13 EQ TM is neither recognizable nor co-recognizable M 0 : on any input x, reject x. L(M 0 ) = M 1 : on any input x, accept x. L(M 1 ) = * For any <M,w>, let h(<M,w>) = M 2 be the TM that, on input x, 1. runs M on w

419 views • 13 slides
Relating Tree Series Transducers and Weighted Tree Automata Andreas Maletti December 17, 2004

Relating Tree Series Transducers and Weighted Tree Automata Andreas Maletti December 17, 2004

Relating Tree Series Transducers and Weighted Tree Automata Andreas Maletti December 17, 2004 1. Motivation and Introductory Example 2. Semirings and DM-Monoids 3. Bottom-Up DM-Monoid Weighted Tree Automata 4. Establishing a Relationship 1

329 views • 22 slides
Turing machines Turing Machines (TMs), configurations, yield relation Decidable, recognizable and

Turing machines Turing Machines (TMs), configurations, yield relation Decidable, recognizable and

Turing machines Turing Machines (TMs), configurations, yield relation Decidable, recognizable and co-recognizable languages Computable Functions TM Example Reference: Sipser, Chapter 3 Mihir Bellare, UCSD 1 CSE 200: Computability and Complexity

552 views • 16 slides
Tree Identification Techniques Massachusetts Qualified Tree Warden Course Learning Objectives

Tree Identification Techniques Massachusetts Qualified Tree Warden Course Learning Objectives

Tree Identification Techniques Massachusetts Qualified Tree Warden Course Learning Objectives Recognize why tree ID is important Recognize principles of ID and classification, including binomial nomenclature Identify common tree parts

1.03k views • 79 slides
Decidable and Undecidable Problems 1 Recall: Recognizable vs. Decidable A language L is

Decidable and Undecidable Problems 1 Recall: Recognizable vs. Decidable A language L is

CS311 Computational Structures Decidable and Undecidable Problems 1 Recall: Recognizable vs. Decidable A language L is Turing recognizable if some Turing machine recognizes it. Some strings not in L may cause the TM to loop Turing

804 views • 51 slides
Compositions of Tree Series Transformations Andreas Maletti a Technische Universit at Dresden

Compositions of Tree Series Transformations Andreas Maletti a Technische Universit at Dresden

Compositions of Tree Series Transformations Andreas Maletti a Technische Universit at Dresden Fakult at Informatik D01062 Dresden, Germany maletti@tcs.inf.tu-dresden.de December 03, 2004 1. Motivation 2. Semirings, Tree Series, and

297 views • 18 slides
Compositions of Tree Series Transformations Andreas Maletti Technische Universit at Dresden

Compositions of Tree Series Transformations Andreas Maletti Technische Universit at Dresden

Compositions of Tree Series Transformations Andreas Maletti Technische Universit at Dresden Fakult at Informatik D01062 Dresden, Germany maletti@tcs.inf.tu-dresden.de September 29, 2004 1. Motivation 2. Semirings, Tree Series, and

418 views • 17 slides
Decision Tree and Automata Learning Stefan Edelkamp 1 Overview - Decision tree representation

Decision Tree and Automata Learning Stefan Edelkamp 1 Overview - Decision tree representation

Decision Tree and Automata Learning Stefan Edelkamp 1 Overview - Decision tree representation - Top Down Induction, Attribute Selection - Entropy, Information gain - ID3 learning algorithm - Overfitting - Continous, multi-valued, costly and

718 views • 33 slides
Decision Tree Learning: Part 2 CS 760@UW-Madison Goals for the last lecture you should

Decision Tree Learning: Part 2 CS 760@UW-Madison Goals for the last lecture you should

Decision Tree Learning: Part 2 CS 760@UW-Madison Goals for the last lecture you should understand the following concepts the decision tree representation the standard top-down approach to learning a tree Occams razor

505 views • 38 slides
Compositions of Bottom-Up Tree Series Transformations Andreas Maletti a Technische Universit at

Compositions of Bottom-Up Tree Series Transformations Andreas Maletti a Technische Universit at

Compositions of Bottom-Up Tree Series Transformations Andreas Maletti a Technische Universit at Dresden Fakult at Informatik D01062 Dresden, Germany maletti@tcs.inf.tu-dresden.de May 17, 2005 1. Motivation 2. Semirings, Tree Series,

348 views • 22 slides
ONLINE LEARNING SERIES 2018 ONLINE LEARNING SERIES 2018 LEARNING AND CAPACITY DEVELOPMENT FOR

ONLINE LEARNING SERIES 2018 ONLINE LEARNING SERIES 2018 LEARNING AND CAPACITY DEVELOPMENT FOR

ONLINE LEARNING SERIES 2018 ONLINE LEARNING SERIES 2018 LEARNING AND CAPACITY DEVELOPMENT FOR UNITED NATIONS VOLUNTEERS Marzia Baldassari, Elena Tiurina, Leisan Nazipova Capacity Development team Human Resources Section UNV HQ UPGRADING THE

160 views • 14 slides
Introduction to Machine Learning CART: Growing a Tree Learning goals Understand how a tree is

Introduction to Machine Learning CART: Growing a Tree Learning goals Understand how a tree is

Introduction to Machine Learning CART: Growing a Tree Learning goals Understand how a tree is grown 1 1 by an exhaustive search over all setosa .33 .33 .33 100% possible features and split points Petal.Length < 2.5 Petal.Length <

506 views • 6 slides
Decision tree learning Aim: find a small tree consistent with the training examples Idea:

Decision tree learning Aim: find a small tree consistent with the training examples Idea:

Decision tree learning Aim: find a small tree consistent with the training examples Idea: (recursively) choose most significant attribute as root of (sub)tree function DTL ( examples, attributes, default ) returns a decision tree if examples

261 views • 13 slides
Welcome to the 2017 TREE Fund Webinar Series Municipal Forestry Baseline, Trends, and Dashboard

Welcome to the 2017 TREE Fund Webinar Series Municipal Forestry Baseline, Trends, and Dashboard

Welcome to the 2017 TREE Fund Webinar Series Municipal Forestry Baseline, Trends, and Dashboard featuring Dr. Richard Hauer, U. of Wisconsin Stevens Point J. Eric Smith TREE Fund President and CEO Many Partners and Supports Universities,

661 views • 12 slides
Decision Tree Learning Mitchell, Chapter 3 CptS 570 Machine Learning School of EECS Washington

Decision Tree Learning Mitchell, Chapter 3 CptS 570 Machine Learning School of EECS Washington

Decision Tree Learning Mitchell, Chapter 3 CptS 570 Machine Learning School of EECS Washington State University Outline Decision tree representation ID3 learning algorithm Entropy and information gain Overfitting

540 views • 30 slides
The Power of Tree Series Transducers Andreas Maletti 1 Technische Universitt Dresden Fakultt

The Power of Tree Series Transducers Andreas Maletti 1 Technische Universitt Dresden Fakultt

The Power of Tree Series Transducers Andreas Maletti 1 Technische Universitt Dresden Fakultt Informatik June 15, 2006 1 Research funded by German Research Foundation (DFG GK 334) Andreas Maletti (TU Dresden) The Power of Tree Series

380 views • 26 slides
Health Equity Learning Series Health Equity in Rural Communities HEALTH EQUITY LEARNING SERIES

Health Equity Learning Series Health Equity in Rural Communities HEALTH EQUITY LEARNING SERIES

Health Equity Learning Series Health Equity in Rural Communities HEALTH EQUITY LEARNING SERIES Alamosa Gunnison Aurora Lamar Colorado Springs Montrose Denver Pueblo Durango Salida Eagle Telluride

840 views • 54 slides
Deep Reinforcement Learning [Mastering the Game of Go with Deep Reinforcement Learning and Tree

Deep Reinforcement Learning [Mastering the Game of Go with Deep Reinforcement Learning and Tree

Deep Reinforcement Learning [Mastering the Game of Go with Deep Reinforcement Learning and Tree Search, Nature 2016] CS 486/686 University of Waterloo Lecture 21: July 12, 2017 Outline AlphaGo Supervised Learning of Policy Networks

541 views • 15 slides
Decision Tree Based Learning of Program Invariants Deepak DSouza Department of Computer

Decision Tree Based Learning of Program Invariants Deepak DSouza Department of Computer

Floyd-Hoare Style Verification Decision Tree Learning ICE Learning Proofs with Multiple Invariants Decision Tree Based Learning of Program Invariants Deepak DSouza Department of Computer Science and Automation Indian Institute of Science,

648 views • 37 slides

More recommend