andreasvlachos.github.io
Teaching · Andreas Vlachos
http://andreasvlachos.github.io/teaching
Natural Language Processing module ( COM4513. Tutor for Research Methods ( COMP3095. And Research Group Project ( COMP3096. At UCL in 2015. The group won the best project award in the class and got a paper. Guest lecturer on biomedical text mining (Cambridge and UCL, 2013-2015), topic modelling (UCL, 2014) and active learning (Warwick, 2014-2015). Tutorials, thematic schools, etc. At Sheffield (also ran at UCL and Cambridge). Tutorials on imitation learning ( slides. The machine learning thematic workshop.
colo12-c703.uibk.ac.at
AITP'17: 2nd Conference on Artificial Intelligence and Theorem Proving
http://colo12-c703.uibk.ac.at/2017
2nd Conference on Artificial Intelligence and Theorem Proving. March 26 30, 2017, Obergurgl, Austria. Is already closed. See below for the list of talks, schedule and local information. AI and big-data methods in theorem proving and mathematics. Collaboration between automated and interactive theorem proving. Common-sense reasoning and reasoning in science. Alignment and joint processing of formal, semi-formal, and informal libraries. Thomas C. Hales. Number-theoretic conjecturing via zeta types and Tann...
mr.cs.ucl.ac.uk
UCL Machine Reading
http://mr.cs.ucl.ac.uk/index.html
An NLP research group at the UCL. Teaching machines how to read. The amount of published information is growing rapidly. Much of this information comes in the form of unstructured text which cannot easily be searched, mined, visualized or, ultimately, acted upon. The principal goal of our group is to build machines that can read and "understand" this textual information, converting it into interpretable structured knowledge to be leveraged by humans and other machines alike. Consider submitting a paper!
mr.cs.ucl.ac.uk
UCL Machine Reading
http://mr.cs.ucl.ac.uk/publications/all.html
SentiHood: Targeted Aspect Based Sentiment Analysis Dataset for Urban Neighbourhoods. Saeidi, Marzieh, Bouchard, Guillaume. Liakata, Maria and Riedel, Sebastian. Proceedings of the 26th International Conference on Computational Linguistics (COLING). Stance Detection with Bidirectional Conditional Encoding. And Bontcheva, Kalina. Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP). Numerically Grounded Language Models for Semantic Error Correction. Proceedings of the ...
sameersingh.org
Sameer Singh: Publications
http://sameersingh.org/pubs.html
Publications (grouped by year): 2016. Connotation Frames: A Data-Driven Investigation. Association for Computational Linguistics (ACL). Inproceedings{connot:acl16, author = {Hannah Rashkin and Sameer Singh and Yejin Choi}, title = { Connotation Frames: A Data-Driven Investigation }, booktitle = {Association for Computational Linguistics (ACL)}, year = {2016} }. Why Should I Trust You? Explaining the Predictions of Any Classifier. Knowledge Discovery and Data Mining (KDD). Code for Synthetic Experiments.
isabelleaugenstein.github.io
Isabelle Augenstein
http://isabelleaugenstein.github.io/teaching.html
University College London, Autumn term 2016: COMPGI19 - Statistical Natural Language Processing. Preparation of lecture materials. And guest lecture on Relation Extraction. PhD Student at University College London working on grounded distributional semantics and structured prediction (with Sebastian Riedel. Danish Sheikh, Computer Science MEng student at University College London, "Extracting Keyphrases and Relations from Scientific Publications" (with Sebastian Riedel. Bridges Summer School 2016. Univer...
aitp-conference.org
AITP'17: 2nd Conference on Artificial Intelligence and Theorem Proving
http://aitp-conference.org/2017
2nd Conference on Artificial Intelligence and Theorem Proving. March 26 30, 2017, Obergurgl, Austria. Is already closed. See below for the list of talks, schedule and local information. AI and big-data methods in theorem proving and mathematics. Collaboration between automated and interactive theorem proving. Common-sense reasoning and reasoning in science. Alignment and joint processing of formal, semi-formal, and informal libraries. Thomas C. Hales. Number-theoretic conjecturing via zeta types and Tann...
sameersingh.org
Sameer Singh
http://sameersingh.org/index.html
4204 Donald Bren Hall. Irvine, CA 92697-3435. Dept of Computer Science. Bren School of Information and Computer Sciences. I am looking for motivated MS and PhD students to work on machine learning and natural language processing. Contact me if interested! Sameer Singh is an Assistant Professor of Computer Science. At the University of California, Irvine. Working with Carlos Guestrin. And worked briefly with the late Ben Taskar. He received his PhD from the University of Massachusetts, Amherst. Inproceedi...
SOCIAL ENGAGEMENT