University of Cambridge > Talks.cam > Artificial Intelligence Research Group Talks (Computer Laboratory) > Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges

Download to your calendar using vCal

  • UserYiannos Stathopoulos and Angeliki Koutsoukou-Argyraki
  • ClockTuesday 02 June 2020, 13:15-14:15
  • HouseOnline on Teams.

If you have a question about this talk, please contact Mateja Jamnik .

ONLINE link

We introduce SErAPIS (: Search Engine by the Alexandria Project for ISabelle), a work-in-progress search engine for the Isabelle libraries. SErAPIS uses an offline index (all libraries are indexed a-priori) that enables library search using natural language and does not rely on the loaded libraries. We describe the SErAPIS pipeline that indexes Isabelle facts by associating them to words and concepts (special phrases that refer to mathematical structures, objects and ideas) in Wikipedia mathematics articles. We also describe three models for extracting textual descriptions of facts from these articles and present a preliminary experiment with four retrieval models based on our indexing methods. We are planning several further developments to the engine as well as an extensive evaluation using online user data.

This talk is part of the Artificial Intelligence Research Group Talks (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Hybrid: in-person in Cambridge & online via Teams Lord Colyton Hall, Gonville & Caius College Ryle Seminar Room, Rutherford Building, Cavendish Laboratory

Other talks

Animating urbanism: the demotic multiplicities of seeing cities digitally The role of radiation in cancer care: a spotlight on cancers of the oesophagus, head and neck Argentina 2005 Welfare Reform and the Imperative of Cooperation Title tbc Cambridge AI in Medicine Seminar - April 2026
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity