Questions tagged [computational-linguistics]

Filter by
Sorted by
Tagged with
1
vote
0answers
35 views

Latent Dirichlet Allocation on Contrived Data

I am doing a project that seems like it might be susceptible to Latent Dirichlet Allocation. However, my data is highly contrived (both in test cases and use cases) and my "words" don't come close to ...
8
votes
4answers
1k views

Why is alpha-equivalence in untyped $\lambda$-calculus substitutive?

This is something all introductory texts seem to avoid proving, and many even avoid stating. We consider untyped $\lambda$-terms on some countably infinite alphabet. If $x$ is a variable and $p$ is ...
5
votes
9answers
1k views

Looking for a collection of entry level proofs

Hi all, I am looking to do some linguistic analysis of informal proofs. Therefore I am on a search for a collection of entry level proofs written in a clear, uninvolved style. I have one ...
8
votes
3answers
689 views

Predicting if something is a code

I'm trying to help a non-mathematical friend by posting a question of his here. He studies literature and has come across a book which is written in a made-up language. The book is hundreds of pages,...