![]() Which has enough metadata such that an AI should be able to understand that it is a fraction. While that is an image of a fraction, the representation is in MathML Here is another example of a technical expression more familiar to many. Yes typing rules are used by an exclusive group. This worked when I did a proof of concept on a small document. GitHub - stacks/stacks-project: Repository for the Stacks ProjectĮxtract – Extract parts of a document and write to another document ![]() Semantic Search in Millions of Equations | Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining “Semantic Search in Millions of Equations” ( pdf) by Lukas Pfahler and Katharina Morik GitHub - karpathy/arxiv-sanity-lite: arxiv-sanity lite: tag arxiv papers of interest get recommendations of similar papers in a nice UI using SVMs over tfidf feature vectors based on paper abstracts. Math Information Retrieval” ( pdf) by Wei Zhong, Jheng-Hong Yang, Yuqing Xie, and Jimmy LinĪ much lighter-weight arxiv-sanity from-scratch re-write. “Evaluating Token-Level and Passage-Level Dense Retrieval Models for Lean forum topic about Semantic search for Mathematics Terence Tao just posted a blog entry about using GPT-4.Įmbracing change and resetting expectations – Microsoft Unlocked These notes are kept here so that others can find them and so that I can also find them no I don’t lose notes I just have thousands of them over a few decades and searching them is not always easy. ![]() Personal notes (Click triangle to expand) This question is an offshoot of another question that only accepts specific working answers, this variation of the question allows for a free form discussion but the replies must be on-topic. There are many solutions to extracting text from PDFs but to extract technical expressions such as math, proofs, type rules, etc, from a PDF and in a way that one could say chat with the PDF and the AI would also understand the technical expressions is not AFAIK available.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |