Natural solution to FraCaS entailment problems, Proceedings of the Fifth Joint Conference on Lexical and Computational Semantics, pp.64-74, 2016. ,
,
Supertagging: An approach to almost parsing, Computational linguistics, vol.25, issue.2, pp.237-265, 1999. ,
Supertagging with CCG primitives, Proceedings of the 5th Workshop on Representation Learning for NLP, pp.194-204, 2020. ,
Increasing return on annotation investment: The automatic construction of a Universal Dependency treebank for Dutch, Proceedings of the NoDaLiDa 2017 Workshop on Universal Dependencies (UDW 2017), pp.19-26, 2017. ,
Alpino: Wide-coverage computational analysis of dutch, Computational linguistics in the Netherlands, pp.45-59, 2000. ,
Ã?thel: Automatically extracted typelogical derivations for dutch, Proceedings of The 12th Language Resources and Evaluation Conference, pp.5259-5268, 2020. ,
Type-Logical Syntax, 2020. ,
Proof nets for intuitionistic linear logic: Essential nets, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00347336
The mathematics of sentence structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958. ,
Seq2seq dependency parsing, Proceedings of the 27th International Conference on Computational Linguistics, pp.3203-3214, 2018. ,
Deciding provability of linear logic formulas, Advances in Linear Logic, pp.109-122, 1995. ,
Discourse representation structure parsing, Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, vol.1, pp.429-439, 2018. ,
Fixing weight decay regularization in adam, 2018. ,
Learning latent permutations with Gumbel-Sinkhorn networks, International Conference on Learning Representations, 2018. ,
Multimodal linguistic inference, Journal of Logic, Language and Information, vol.5, issue.3/4, pp.349-385, 1996. ,
A categorial type logic, Categories and Types in Logic, Language, and Physics -Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, vol.8222, pp.331-352, 2014. ,
When does label smoothing help?, Advances in Neural Information Processing Systems, pp.4696-4705, 2019. ,
Dominator trees and fast verification of proof nets, Logic in Computer Science, pp.181-191, 2000. ,
Lambda grammars and the syntax-semantics interface, Proceedings of the 13th Amsterdam Colloquium, pp.150-155, 2001. ,
Static and dynamic vector semantics for lambda calculus models of natural language, Journal of Language Modelling, vol.6, issue.2, pp.319-351, 2018. ,
Jelmer van der Linde, Ineke Schuurman, Erik Tjong Kim Sang, and Vincent Vandeghinste, Essential speech and language technology for Dutch, pp.147-164, 2013. ,
Using the output embedding to improve language models, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, vol.2, pp.157-163, 2017. ,
, Resource Logics: Prooftheoretical Investigations, 1991.
A relationship between arbitrary positive matrices and doubly stochastic matrices. The annals of mathematical statistics, vol.35, pp.876-879, 1964. ,
Lectures on the Curry-Howard isomorphism, 2006. ,
Rationalizing text matching: Learning sparse alignments via optimal transport, 2020. ,
, Sparse sinkhorn attention, 2020.
, Basic Proof Theory, vol.43, 2000.
Supertagging with lstms, Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pp.232-237, 2016. ,
Attention is all you need, Advances in neural information processing systems, pp.5998-6008, 2017. ,
, BERTje: A Dutch BERT model, 2019.
A taste of linear logic, International Symposium on Mathematical Foundations of Computer Science, pp.185-210, 1993. ,
Encoding word order in complex embeddings, International Conference on Learning Representations, 2020. ,
Sequence-to-sequence learning as beam-search optimization, Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, pp.1296-1306, 2016. ,
Sequence-based structured prediction for semantic parsing, Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, vol.1, pp.1341-1350, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01623762
Ccg supertagging with a recurrent neural network, Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing, vol.2, pp.250-255, 2015. ,
Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars, 2012. ,
AMR parsing as sequence-tograph transduction, Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, pp.80-94, 2019. ,
Dependency parsing as head selection, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, vol.1, pp.665-676, 2017. ,