PhD Seminar • Data Systems | Information Retrieval • Efficient First-Stage Formula Retrieval via Structure MaxScore Dynamic PruningExport this event to calendar

Thursday, May 11, 2023 — 10:30 AM to 11:30 AM EDT

Please note: This PhD seminar will take place online.

Wei Zhong, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Jimmy Lin

Formula retrieval systems using substructure matching are effective, but suffer from slow retrieval times caused by the complexity of structure matching. We present a specialized inverted index and rank-safe dynamic pruning algorithm for faster substructure retrieval. Formulas are indexed from their Operator Tree (OPT) representations. Our model is evaluated using the NTCIR-12 Wikipedia Formula Browsing Task and a new formula corpus produced from Math StackExchange posts. The proposed approach preserves the effectiveness of structure matching while allowing queries to be executed in real-time.


To attend this PhD seminar in person, please go to DC 1331. You can also attend virtually using Zoom at https://uwaterloo.zoom.us/j/94976337011.

Location 
Online PhD seminar
200 University Avenue West

Waterloo, ON N2L 3G1
Canada
Event tags 

S M T W T F S
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
  1. 2024 (184)
    1. September (1)
    2. August (5)
    3. July (20)
    4. June (17)
    5. May (23)
    6. April (41)
    7. March (27)
    8. February (25)
    9. January (25)
  2. 2023 (296)
    1. December (20)
    2. November (28)
    3. October (15)
    4. September (25)
    5. August (30)
    6. July (30)
    7. June (22)
    8. May (23)
    9. April (32)
    10. March (31)
    11. February (18)
    12. January (22)
  3. 2022 (245)
  4. 2021 (210)
  5. 2020 (217)
  6. 2019 (255)
  7. 2018 (217)
  8. 2017 (36)
  9. 2016 (21)
  10. 2015 (36)
  11. 2014 (33)
  12. 2013 (23)
  13. 2012 (4)
  14. 2011 (1)
  15. 2010 (1)
  16. 2009 (1)
  17. 2008 (1)