Who Cited It

Exploiting Generative AI to Scale up Intelligent Tutoring Systems

2023 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 79,071 citations · 29 from inside this corpus

No author records on this work.

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically prove 75% of the Mizar theorems when the automated provers are helped by using only the premises used in the human-written Mizar proofs. We describe the methods and large-scale experiments leading to these results. This includes in particular the E and Vampire provers, their ENIGMA and Deepire learning modifications, a number of learning-based premise selection methods, and the incremental loop that interleaves growing a corpus of millions of ATP proofs with training increasingly strong AI/TP systems on them. We also present a selection of Mizar problems that were proved automatically.

Exploiting Generative AI to Scale up Intelligent Tutoring Systems (2023)Exploiting Generative AI to S…Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks (2019)Sentence-BERT: Sentence Embed…Transformers: State-of-the-Art Natural Language Processing (2020)Transformers: State-of-the-Ar…Emerging Properties in Self-Supervised Vision Transformers (2021)Emerging Properties in Self-S…BNAI, NO-TOKEN, and MIND-UNITY: Pillars of a Systemic Revolution in Artificial Intelligen… (2022)BNAI, NO-TOKEN, and MIND-UNIT…Transformer-XL: Attentive Language Models beyond a Fixed-Length Context (2019)Transformer-XL: Attentive Lan…SciBERT: A Pretrained Language Model for Scientific Text (2019)SciBERT: A Pretrained Languag…Heterogeneous Graph Attention Network (2019)Heterogeneous Graph Attention…Recent Trends in Deep Learning Based Natural Language Processing [Review Article] (2018)Recent Trends in Deep Learnin…Conformer: Convolution-augmented Transformer for Speech Recognition (2020)Conformer: Convolution-augmen…A Survey on Evaluation of Large Language Models (2024)A Survey on Evaluation of Lar…SimCSE: Simple Contrastive Learning of Sentence Embeddings (2021)SimCSE: Simple Contrastive Le…A review of uncertainty quantification in deep learning: Techniques, applications and cha… (2021)A review of uncertainty quant…CodeBERT: A Pre-Trained Model for Programming and Natural Languages (2020)CodeBERT: A Pre-Trained Model…fairseq: A Fast, Extensible Toolkit for Sequence Modeling (2019)fairseq: A Fast, Extensible T…ProtTrans: Toward Understanding the Language of Life Through Self-Supervised Learning (2021)ProtTrans: Toward Understandi…LXMERT: Learning Cross-Modality Encoder Representations from Transformers (2019)LXMERT: Learning Cross-Modali…Domain-Specific Language Model Pretraining for Biomedical Natural Language Processing (2021)Domain-Specific Language Mode…GCNet: Non-Local Networks Meet Squeeze-Excitation Networks and Beyond (2019)GCNet: Non-Local Networks Mee…Shortcut learning in deep neural networks (2020)Shortcut learning in deep neu…WavLM: Large-Scale Self-Supervised Pre-Training for Full Stack Speech Processing (2022)WavLM: Large-Scale Self-Super…Language Models as Knowledge Bases? (2019)Language Models as Knowledge …TinyBERT: Distilling BERT for Natural Language Understanding (2020)TinyBERT: Distilling BERT for…Text Summarization with Pretrained Encoders (2019)Text Summarization with Pretr…mT5: A Massively Multilingual Pre-trained Text-to-Text Transformer (2021)mT5: A Massively Multilingual…Deep Learning Enabled Semantic Communication Systems (2021)Deep Learning Enabled Semanti…A Survey on Deep Learning for Named Entity Recognition (2020)A Survey on Deep Learning for…ConvNeXt V2: Co-designing and Scaling ConvNets with Masked Autoencoders (2023)ConvNeXt V2: Co-designing and…A Brief Overview of ChatGPT: The History, Status Quo and Potential Future Development (2023)ERNIE: Enhanced Language Representation with Informative Entities (2019)ERNIE: Enhanced Language Repr…
29 of 29 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.
this paper works it cites works citing it node size = global citations · hover for the full title

Citation edge evidence

Each row is directed from the citing work to the cited work. Source status remains readable without the interactive graph.

What cites it, inside the corpus

PaperYearCited
Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks201911,789
Transformers: State-of-the-Art Natural Language Processing20208,295
Emerging Properties in Self-Supervised Vision Transformers20215,394
BNAI, NO-TOKEN, and MIND-UNITY: Pillars of a Systemic Revolution in Artificial Intelligen…20224,315
Transformer-XL: Attentive Language Models beyond a Fixed-Length Context20193,202
SciBERT: A Pretrained Language Model for Scientific Text20193,109
Heterogeneous Graph Attention Network20192,999
Recent Trends in Deep Learning Based Natural Language Processing [Review Article]20182,907
Conformer: Convolution-augmented Transformer for Speech Recognition20202,867
A Survey on Evaluation of Large Language Models20242,736
SimCSE: Simple Contrastive Learning of Sentence Embeddings20212,645
A review of uncertainty quantification in deep learning: Techniques, applications and cha…20212,644
CodeBERT: A Pre-Trained Model for Programming and Natural Languages20202,630
fairseq: A Fast, Extensible Toolkit for Sequence Modeling20192,511
ProtTrans: Toward Understanding the Language of Life Through Self-Supervised Learning20212,446
LXMERT: Learning Cross-Modality Encoder Representations from Transformers20192,335
Domain-Specific Language Model Pretraining for Biomedical Natural Language Processing20212,146
GCNet: Non-Local Networks Meet Squeeze-Excitation Networks and Beyond20192,125
Shortcut learning in deep neural networks20202,040
WavLM: Large-Scale Self-Supervised Pre-Training for Full Stack Speech Processing20221,843
Language Models as Knowledge Bases?20191,798
TinyBERT: Distilling BERT for Natural Language Understanding20201,706
Text Summarization with Pretrained Encoders20191,633
mT5: A Massively Multilingual Pre-trained Text-to-Text Transformer20211,627
Deep Learning Enabled Semantic Communication Systems20211,547
A Survey on Deep Learning for Named Entity Recognition20201,534
ConvNeXt V2: Co-designing and Scaling ConvNets with Masked Autoencoders20231,523
A Brief Overview of ChatGPT: The History, Status Quo and Potential Future Development20231,444
ERNIE: Enhanced Language Representation with Informative Entities20191,435

Links

Download BibTeX · Download RIS · DOI · Open access copy · OpenAlex record

Topics

Natural Language Processing TechniquesComputer Science
Topic ModelingComputer Science
Multimodal Machine Learning ApplicationsComputer Science

Is this record sound?

suspect

Several fields of this record are missing or contradict each other. Treat its figures with suspicion — it is shown unaltered because correcting a source's record silently is worse than showing you the problem.

  • weakensThe source lists no authors for this work at all, so there is nobody to attribute it to and it appears on no author page.
  • weakensNo references are recorded despite 79,071 citations. A paper this heavily cited did not cite nothing, so the record is incomplete.
  • supportsThe DOI's year agrees with the publication year.
  • supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:40+00:00.

sha256 7e3d99a592f7f61f…