Commit e6894584 authored by Luis's avatar Luis
Browse files

add bibliography

parent fe466e65
## SIGMathLing Common Bibliography
This is common bibliography for the SIGMathLing group. Topics of interest include:
* Natural Language Processing/Computational Linguistics
* Mathematical Knowledge Management
@article{chen2017improving,
title={Improving sentiment analysis via sentence type classification using BiLSTM-CRF and CNN},
author={Chen, Tao and Xu, Ruifeng and He, Yulan and Wang, Xuan},
journal={Expert Systems with Applications},
volume={72},
pages={221--230},
year={2017},
publisher={Elsevier}
}
@inproceedings{saggion,
title={Identifying Definitions in Text Collections for Question Answering.},
author={Saggion, Horacio},
booktitle={LREC},
year={2004}
}
@book{lange2011enabling,
title={Enabling collaboration on semiformal mathematical knowledge by semantic web integration},
author={Lange, Christoph},
volume={11},
year={2011},
publisher={IOS Press}
}
@Article{Alama2014,
author="Alama, Jesse
and Heskes, Tom
and K{\"u}hlwein, Daniel
and Tsivtsivadze, Evgeni
and Urban, Josef",
title="Premise Selection for Mathematics by Corpus Analysis and Kernel Methods",
journal="Journal of Automated Reasoning",
year="2014",
month="Feb",
day="01",
volume="52",
number="2",
pages="191--213",
abstract="Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. This work develops learning-based premise selection in two ways. First, a fine-grained dependency analysis of existing high-level formal mathematical proofs is used to build a large knowledge base of proof dependencies, providing precise data for ATP-based re-verification and for training premise selection algorithms. Second, a new machine learning algorithm for premise selection based on kernel methods is proposed and implemented. To evaluate the impact of both techniques, a benchmark consisting of 2078 large-theory mathematical problems is constructed, extending the older MPTP Challenge benchmark. The combined effect of the techniques results in a 50 {\%} improvement on the benchmark over the state-of-the-art Vampire/SInE system for automated reasoning in large theories.",
issn="1573-0670",
doi="10.1007/s10817-013-9286-5",
url="https://doi.org/10.1007/s10817-013-9286-5"
}
@article{bengio2003neural,
title={A neural probabilistic language model},
author={Bengio, Yoshua and Ducharme, R{\'e}jean and Vincent, Pascal and Jauvin, Christian},
journal={Journal of machine learning research},
volume={3},
number={Feb},
pages={1137--1155},
year={2003}
}
@InProceedings{bagof,
author = "Joulin, Armand
and Grave, Edouard
and Bojanowski, Piotr
and Mikolov, Tomas",
title = "Bag of Tricks for Efficient Text Classification",
booktitle = "Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 2, Short Papers",
year = "2017",
publisher = "Association for Computational Linguistics",
pages = "427--431",
location = "Valencia, Spain",
url = "http://aclweb.org/anthology/E17-2068"
}
@article{pang2008opinion,
title={Opinion mining and sentiment analysis},
author={Pang, Bo and Lee, Lillian and others},
journal={Foundations and Trends{\textregistered} in Information Retrieval},
volume={2},
number={1--2},
pages={1--135},
year={2008},
publisher={Now Publishers, Inc.}
}
@article{bojanowski2017enriching,
title={Enriching Word Vectors with Subword Information},
author={Bojanowski, Piotr and Grave, Edouard and Joulin, Armand and Mikolov, Tomas},
journal={Transactions of the Association for Computational Linguistics},
volume={5},
year={2017},
issn={2307-387X},
pages={135--146}
}
@inproceedings{murphy2003phrase,
title={Phrase detection and the associative memory neural network},
author={Murphy, Richard C},
booktitle={Proceedings of the International Joint Conference on Neural Networks, 2003.},
volume={4},
pages={2599--2603},
year={2003},
organization={IEEE}
}
@article{cho2014learning,
title={Learning phrase representations using RNN encoder-decoder for statistical machine translation},
author={Cho, Kyunghyun and Van Merri{\"e}nboer, Bart and Gulcehre, Caglar and Bahdanau, Dzmitry and Bougares, Fethi and Schwenk, Holger and Bengio, Yoshua},
journal={arXiv preprint arXiv:1406.1078},
year={2014}
}
@inproceedings{huang2012improving,
title={Improving word representations via global context and multiple word prototypes},
author={Huang, Eric H and Socher, Richard and Manning, Christopher D and Ng, Andrew Y},
booktitle={Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers-Volume 1},
pages={873--882},
year={2012},
organization={Association for Computational Linguistics}
}
@article{sunsimple,
title={A Simple Approach to Learn Polysemous Word Embeddings},
author={Sun, Yifan and Rao, Nikhil and Ding, Weicong},
journal={arXiv preprint arXiv:1707.01793},
year={2017}
}
@online{SML,
author = {Deyan Ginev},
title = {arXMLiv:08.2018 dataset, an HTML5 conversion of arXiv.org},
url = {https://sigmathling.kwarc.info/resources/arxmliv/},
note = {SIGMathLing -- Special Interest Group on Math Linguistics},
year = {2018}}
@misc{fabs,
title = {Formal Abstracts},
howpublished = {https://formalabstracts.github.io/},
year = {2019}}
@misc{webscipara,
author = {Deyan Ginev},
title = {A Web Demo for Scientific Paragraph Classification },
year = {2018},
publisher = {GitHub},
journal = {GitHub repository},
howpublished = {\url{https://github.com/dginev/web-scipara-demo}},
commit = {1937a1754c7376dc5f34292feaa2ff77115d2ca2}
}
@article{transforming,
title={Transforming large collections of scientific publications to XML},
author={Stamerjohanns, Heinrich and Kohlhase, Michael and Ginev, Deyan and David, Catalin and Miller, Bruce},
journal={Mathematics in Computer Science},
volume={3},
number={3},
pages={299--307},
year={2010},
publisher={Springer}
}
@article{scikit-learn,
title={Scikit-learn: Machine Learning in {P}ython},
author={Pedregosa, F. and Varoquaux, G. and Gramfort, A. and Michel, V.
and Thirion, B. and Grisel, O. and Blondel, M. and Prettenhofer, P.
and Weiss, R. and Dubourg, V. and Vanderplas, J. and Passos, A. and
Cournapeau, D. and Brucher, M. and Perrot, M. and Duchesnay, E.},
journal={Journal of Machine Learning Research},
volume={12},
pages={2825--2830},
year={2011}
}
@article{miller3latexml,
title={LaTeXML: A Latex to XML Converter. url: http://dlmf. nist. gov},
author={Miller, Bruce},
howpublished = {\url{https://dlmf.nist.gov/LaTeXML/}},
year={2013},
journal={LaTeXML/(visited on 03/12/2013)}
}
@inproceedings{pennington2014glove,
title={Glove: Global vectors for word representation},
author={Pennington, Jeffrey and Socher, Richard and Manning, Christopher},
booktitle={Proceedings of the 2014 conference on empirical methods in natural language processing (EMNLP)},
pages={1532--1543},
year={2014}
}
@article{nersurvey,
title={A survey of named entity recognition and classification},
author={Nadeau, David and Sekine, Satoshi},
journal={Lingvisticae Investigationes},
volume={30},
number={1},
pages={3--26},
year={2007},
publisher={John Benjamins}
}
@article{nltk,
author = {Edward Loper and
Steven Bird},
title = {{NLTK:} The Natural Language Toolkit},
journal = {CoRR},
volume = {cs.CL/0205028},
year = {2002},
url = {http://arxiv.org/abs/cs.CL/0205028},
timestamp = {Mon, 13 Aug 2018 16:48:22 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/cs-CL-0205028},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{domainAdaptation,
title={Instance weighting for domain adaptation in NLP},
author={Jiang, Jing and Zhai, ChengXiang},
booktitle={Proceedings of the 45th annual meeting of the association of computational linguistics},
pages={264--271},
year={2007}
}
@article{DBLP:journals/corr/SchakelW15,
author = {Adriaan M. J. Schakel and
Benjamin J. Wilson},
title = {Measuring Word Significance using Distributed Representations of Words},
journal = {CoRR},
volume = {abs/1508.02297},
year = {2015},
url = {http://arxiv.org/abs/1508.02297},
archivePrefix = {arXiv},
eprint = {1508.02297},
timestamp = {Mon, 13 Aug 2018 16:47:39 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/SchakelW15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{article,
author = {Jiang, Jing},
year = {2008},
month = {01},
pages = {},
title = {Domain Adaptation in Natural Language Processing}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment