CV

Here is an overview of my professional experience, education, and skills. For more details, download the PDF version by clicking on the icon to the right.

Basics

Name Martin Funkquist
Label AI Researcher
Email martin.funkquist [AT] gmail.com
Url https://martin36.github.io/
Summary PhD Student in Artificial Intelligence at Linköping University, Sweden, working on the integration of Symbolic AI and Deep Reinforcement Learning.

Education

  • 2022.10 - Now

    Linköping, Sweden

    PhD
    Linköping University, Linköping, Sweden
    Artificial Intelligence - Symbolic AI and Deep Reinforcement Learning
  • 2022.04 - 2022.09

    Darmstadt, Germany

    Research Intern
    Technical University Darmstadt, Darmstadt, Germany
    Artificial Intelligence - Natural Language Processing
  • 2018.10 - 2019.02

    Zagreb, Croatia

    Exchange Student
    University of Zagreb, Zagreb, Croatia
    Computer Science
  • 2017.09 - 2019.06

    Stockholm, Sweden

    Master’s degree
    KTH, Royal Institute of Technology, Stockholm, Sweden
    Computer Science
  • 2013.09 - 2017.06

    Stockholm, Sweden

    Bachelor's degree
    KTH, Royal Institute of Technology, Stockholm, Sweden
    Simulation Technology and Virtual Design

Publications

  • 2024
    Learning to Ground Existentially Quantified Goals
    Proceedings of the Twenty-First International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
    Here we study how to learn to ground existentially quantified goals in Classical Planning. This is an important problem as human instructions tend to result in quantified goals rather than grounded, but many planners do not support quantified goals.
  • 2023
    CiteBench: A benchmark for Scientific Citation Text Generation
    Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023
    In this paper, we introduce CiteBench, a benchmark for scientific citation text generation. CiteBench is a large-scale dataset for citation text generation, unifying multiple tasks in a single benchmark.
  • 2021
    Combining sentence and table evidence to predict veracity of factual claims using TaPaS and RoBERTa
    Proceedings of the Fourth Workshop on Fact Extraction and VERification (FEVER), 2021
    The paper proposes a method for solving the FEVEROUS task, which is a task of predicting the veracity of factual claims using both sentence and table evidence.

Work

  • 2019.09 - 2022.03
    Software Engineering Consultant
    Netlight AB
    Worked as a Software Engineering consultant for various clients, ranging from governmental agencies to media magnates. Tasks varied from front-end and back-end development to handling communication with clients.
  • 2017.06 - 2019.08
    Software Engineer
    Atiendo AB
    Software Engineer working mostly on various web applications, and data visualization projects.

Skills

Computer Science
Reinforcement Learning
Deep Learning
Machine Learning
Symbolic AI
Natural Language Processing
Programming
Python
PyTorch
TensorFlow
Keras
JavaScript

Languages

Swedish
Native speaker
English
Fluent

Interests

Artificial Intelligence
Artificial General Intelligence
Reinforcement Learning
Deep Learning
Machine Learning
Neuro-Symbolic AI
Natural Language Processing
Other
Reading
Music
Guitar Playing
Powerlifting
Traveling
Cooking