technique
generative language modeling
techniqueactive
generative-language-modeling-d39ca4ea·1 events·first seen 28d agoAliases: generative language modeling
Co-occurring entities
More like this (12)
generative modelsgenerative AIunsupervised language modelingcausal generative modelingdiffusion-based generative modelsReinforcement Learning for Language ModelsGenerative Adversarial Networkslarge language model agentsSemantic Generative Tuning (SGT)Speaking the Language of Science: Toward a General-Purpose Generative Foundation Model for the Natural Scienceslarge language modelsmRNA Language Model
Recent events (1)
Generative Language Modeling for Automated Theorem Proving
OpenAI published research on applying generative language models to automated theorem proving, an early exploration of using neural language models to assist formal mathematical reasoning. The work investigates how language models can generate proof steps or complete proofs in formal systems. This represents an early milestone in AI-assisted mathematical reasoning, predating later work like GPT-f and subsequent theorem-proving systems.