{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:TFHUMC5U5CTT46SEX773MJLZ7R","short_pith_number":"pith:TFHUMC5U","schema_version":"1.0","canonical_sha256":"994f460bb4e8a73e7a44bfffb62579fc755dd19fbe4ce6143be214c6b6f1abf3","source":{"kind":"arxiv","id":"1912.04115","version":1},"attestation_state":"computed","paper":{"title":"Query Auto Completion for Math Formula Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.IR","authors_text":"C. Lee Giles, Jian Wu, Richard Zanibbi, Shaurya Rohatgi, Wei Zhong","submitted_at":"2019-12-09T15:19:27Z","abstract_excerpt":"Query Auto Completion (QAC) is among the most appealing features of a web search engine. It helps users formulate queries quickly with less effort. Although there has been much effort in this area for text, to the best of our knowledge there is few work on mathematical formula auto completion. In this paper, we implement 5 existing QAC methods on mathematical formula and evaluate them on the NTCIR-12 MathIR task dataset. We report the efficiency of retrieved results using Mean Reciprocal Rank (MRR) and Mean Average Precision(MAP). Our study indicates that the Finite State Transducer outperform"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1912.04115","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2019-12-09T15:19:27Z","cross_cats_sorted":[],"title_canon_sha256":"ba54c213657569ebf2ad0c780a9addf390be74d61fab01857203898b518bd250","abstract_canon_sha256":"f66f8bf0659e3e1b26ce9e5a5376d2ef03ab6226f5896be103958294979fb83f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:24:51.942283Z","signature_b64":"Vg9+R01cTqpfzY5cqy8xy8+KOxtTk7IzC53CuEeyw6PZUqoUUEwFuDHsx42HwcwOZm+Dmo4UNcn/4qPxLlOkBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"994f460bb4e8a73e7a44bfffb62579fc755dd19fbe4ce6143be214c6b6f1abf3","last_reissued_at":"2026-07-05T00:24:51.941936Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:24:51.941936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Query Auto Completion for Math Formula Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.IR","authors_text":"C. Lee Giles, Jian Wu, Richard Zanibbi, Shaurya Rohatgi, Wei Zhong","submitted_at":"2019-12-09T15:19:27Z","abstract_excerpt":"Query Auto Completion (QAC) is among the most appealing features of a web search engine. It helps users formulate queries quickly with less effort. Although there has been much effort in this area for text, to the best of our knowledge there is few work on mathematical formula auto completion. In this paper, we implement 5 existing QAC methods on mathematical formula and evaluate them on the NTCIR-12 MathIR task dataset. We report the efficiency of retrieved results using Mean Reciprocal Rank (MRR) and Mean Average Precision(MAP). Our study indicates that the Finite State Transducer outperform"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.04115","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1912.04115/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1912.04115","created_at":"2026-07-05T00:24:51.942000+00:00"},{"alias_kind":"arxiv_version","alias_value":"1912.04115v1","created_at":"2026-07-05T00:24:51.942000+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.04115","created_at":"2026-07-05T00:24:51.942000+00:00"},{"alias_kind":"pith_short_12","alias_value":"TFHUMC5U5CTT","created_at":"2026-07-05T00:24:51.942000+00:00"},{"alias_kind":"pith_short_16","alias_value":"TFHUMC5U5CTT46SE","created_at":"2026-07-05T00:24:51.942000+00:00"},{"alias_kind":"pith_short_8","alias_value":"TFHUMC5U","created_at":"2026-07-05T00:24:51.942000+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2501.14951","citing_title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","ref_index":43,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R","json":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R.json","graph_json":"https://pith.science/api/pith-number/TFHUMC5U5CTT46SEX773MJLZ7R/graph.json","events_json":"https://pith.science/api/pith-number/TFHUMC5U5CTT46SEX773MJLZ7R/events.json","paper":"https://pith.science/paper/TFHUMC5U"},"agent_actions":{"view_html":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R","download_json":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R.json","view_paper":"https://pith.science/paper/TFHUMC5U","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1912.04115&json=true","fetch_graph":"https://pith.science/api/pith-number/TFHUMC5U5CTT46SEX773MJLZ7R/graph.json","fetch_events":"https://pith.science/api/pith-number/TFHUMC5U5CTT46SEX773MJLZ7R/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R/action/storage_attestation","attest_author":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R/action/author_attestation","sign_citation":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R/action/citation_signature","submit_replication":"https://pith.science/pith/TFHUMC5U5CTT46SEX773MJLZ7R/action/replication_record"}},"created_at":"2026-07-05T00:24:51.942000+00:00","updated_at":"2026-07-05T00:24:51.942000+00:00"}