{"id":"https://openalex.org/W7155056609","doi":"https://doi.org/10.48550/arxiv.2604.17484","title":"Matlas: A Semantic Search Engine for Mathematics","display_name":"Matlas: A Semantic Search Engine for Mathematics","publication_year":2026,"publication_date":"2026-04-19","ids":{"openalex":"https://openalex.org/W7155056609","doi":"https://doi.org/10.48550/arxiv.2604.17484"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.17484","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17484","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.17484","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113149225","display_name":"Haocheng Ju","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ju, Haocheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133080646","display_name":"Leheng Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Leheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134182309","display_name":"Peihao Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Peihao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133129553","display_name":"Bryan Dai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dai, Bryan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134204250","display_name":"Bin Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Bin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.8646000027656555,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.8646000027656555,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.012000000104308128,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.009600000455975533,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5982999801635742},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.567799985408783},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5335999727249146},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.49410000443458557},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.44749999046325684},{"id":"https://openalex.org/keywords/question-answering","display_name":"Question answering","score":0.42890000343322754},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4172999858856201},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4025999903678894},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3944999873638153}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7232999801635742},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5982999801635742},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.567799985408783},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5335999727249146},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.49410000443458557},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.49390000104904175},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.44749999046325684},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.42890000343322754},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4172999858856201},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4025999903678894},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3944999873638153},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3815999925136566},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.362199991941452},{"id":"https://openalex.org/C166423231","wikidata":"https://www.wikidata.org/wiki/Q1891170","display_name":"Semantic search","level":3,"score":0.34529998898506165},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.34380000829696655},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.33160001039505005},{"id":"https://openalex.org/C130327152","wikidata":"https://www.wikidata.org/wiki/Q748349","display_name":"Mathematical structure","level":2,"score":0.3287000060081482},{"id":"https://openalex.org/C174252522","wikidata":"https://www.wikidata.org/wiki/Q3816772","display_name":"Natural language user interface","level":3,"score":0.3149000108242035},{"id":"https://openalex.org/C21621646","wikidata":"https://www.wikidata.org/wiki/Q6786855","display_name":"Mathematical knowledge management","level":4,"score":0.3061000108718872},{"id":"https://openalex.org/C2779193601","wikidata":"https://www.wikidata.org/wiki/Q20026918","display_name":"Mathematical theory","level":2,"score":0.29269999265670776},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.28929999470710754},{"id":"https://openalex.org/C2777946921","wikidata":"https://www.wikidata.org/wiki/Q7449044","display_name":"Semantic analysis (machine learning)","level":2,"score":0.2892000079154968},{"id":"https://openalex.org/C85407183","wikidata":"https://www.wikidata.org/wiki/Q1045785","display_name":"Semantic network","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C173862523","wikidata":"https://www.wikidata.org/wiki/Q5421270","display_name":"Explicit semantic analysis","level":5,"score":0.26159998774528503},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C2985727698","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Semantic annotation","level":3,"score":0.2549000084400177},{"id":"https://openalex.org/C4969071","wikidata":"https://www.wikidata.org/wiki/Q7316353","display_name":"Result set","level":3,"score":0.2538999915122986}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.17484","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17484","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.17484","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17484","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6040584444999695,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Retrieving":[0],"mathematical":[1,45,87,132,170,201,211],"knowledge":[2,212],"is":[3,36,90],"a":[4,15,82,93,111,161,191],"central":[5],"task":[6],"in":[7,27,65,146],"both":[8],"human-driven":[9],"research,":[10],"such":[11],"as":[12,205],"determining":[13],"whether":[14],"result":[16],"already":[17],"exists,":[18],"finding":[19],"related":[20],"results,":[21],"and":[22,26,41,57,74,142,189,203],"identifying":[23],"historical":[24],"origins,":[25],"emerging":[28],"AI":[29,197],"systems":[30,198],"for":[31,86,169,187,196,210],"mathematics,":[32],"where":[33],"reliable":[34],"grounding":[35,195],"essential.":[37],"However,":[38],"the":[39,44,182,208],"scale":[40],"structure":[42],"of":[43,55,96,114,156,184,194,207],"literature":[46],"pose":[47],"significant":[48],"challenges:":[49],"results":[50,171],"are":[51,60],"distributed":[52],"across":[53],"millions":[54],"documents,":[56],"individual":[58],"statements":[59,99,133,145],"often":[61],"difficult":[62],"to":[63,68,107,149],"interpret":[64],"isolation":[66],"due":[67],"their":[69,136],"dependence":[70],"on":[71,92],"prior":[72],"definitions":[73],"theorems.":[75],"In":[76],"this":[77,157],"paper,":[78],"we":[79,130,159],"introduce":[80],"Matlas,":[81],"semantic":[83,162],"search":[84,168],"engine":[85],"statements.":[88],"Matlas":[89,179],"built":[91],"large-scale":[94],"corpus":[95],"8.07":[97],"million":[98],"extracted":[100],"from":[101,110],"435K":[102],"peer-reviewed":[103],"papers":[104],"spanning":[105],"1826":[106],"2025,":[108],"drawn":[109],"curated":[112],"set":[113],"180":[115],"journals":[116],"selected":[117],"using":[118,172],"an":[119],"ICM":[120],"citation-based":[121],"criterion,":[122],"together":[123,134],"with":[124,135],"1.9K":[125],"textbooks.":[126],"From":[127],"these":[128],"sources,":[129],"extract":[131],"dependencies,":[137],"construct":[138],"document-level":[139],"dependency":[140],"graphs,":[141],"recursively":[143],"unfold":[144],"topological":[147],"order":[148],"produce":[150],"more":[151],"self-contained":[152],"representations.":[153],"On":[154],"top":[155],"corpus,":[158],"develop":[160],"retrieval":[163,186],"system":[164],"that":[165,178],"enables":[166],"efficient":[167],"natural":[173],"language":[174],"queries.":[175],"We":[176],"hope":[177],"can":[180],"improve":[181],"efficiency":[183],"theorem":[185],"mathematicians":[188],"provide":[190],"structured":[192],"source":[193],"tackling":[199],"research-level":[200],"problems,":[202],"serve":[204],"part":[206],"infrastructure":[209],"retrieval.":[213]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-22T00:00:00"}