A Generative Model for Lambek Categorial Sequents.
Jinman ZhaoGerald PennPublished in: LREC/COLING (2024)
Keyphrases
- generative model
- linear logic
- sequent calculus
- probabilistic model
- inference rules
- em algorithm
- fixed point
- bayesian framework
- prior knowledge
- semi supervised
- topic models
- logical framework
- modal logic
- discriminative models
- generative and discriminative models
- discriminative learning
- latent dirichlet allocation
- learned models
- natural deduction
- expectation maximization
- hierarchical bayesian model
- machine learning