BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Developing a Concept-Oriented Search Engine for Isabelle Based on 
 Natural Language : Technical Challenges - Yiannos Stathopoulos and Angelik
 i Koutsoukou-Argyraki
DTSTART:20200602T121500Z
DTEND:20200602T131500Z
UID:TALK140581@talks.cam.ac.uk
CONTACT:Mateja Jamnik
DESCRIPTION:"ONLINE link":https://teams.microsoft.com/l/meetup-join/19%3am
 eeting_NDViOGY4ZGYtY2JmMC00M2IwLWJhMGQtNTViNDBmMTJmNjE0%40thread.v2/0?cont
 ext=%7b%22Tid%22%3a%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22%2c%22Oid%22%
 3a%22760af26a-1349-4870-a967-af40fbad85e9%22%7d\n\nWe introduce SErAPIS (:
  Search Engine by the Alexandria Project for\nISabelle)\, a work-in-progre
 ss search engine for the Isabelle\nlibraries. SErAPIS uses an offline inde
 x (all libraries are indexed\na-priori) that enables library search using 
 natural language and does\nnot rely on the loaded libraries. We describe t
 he SErAPIS pipeline\nthat indexes Isabelle facts by associating them to wo
 rds and concepts\n(special phrases that refer to mathematical structures\,
  objects and\nideas) in Wikipedia mathematics articles. We also describe t
 hree\nmodels for extracting textual descriptions of facts from these\narti
 cles and present a preliminary experiment with four retrieval\nmodels base
 d on our indexing methods. We are planning several further\ndevelopments t
 o the engine as well as an extensive evaluation using\nonline user data.
LOCATION:Online on Teams
END:VEVENT
END:VCALENDAR