I am a Ph.D candidate at the University of Rochester's Computer Science Department, advised by Len Schubert. My research interests are in the intersection of natural language processing and computer reasoning. I create algorithms that extract formal representations of natural language meaning and structured information to enable computer reasoning in a generalized manner. My long term research goal is to enable computers to robustly understand and use natural language in arbitrary settings.

Email: gkim21 AT cs DOT rochester DOT edu
Office: Wegmans Hall 2307

CV

Online Resources

• ULF Website
  This is the general project website for the ULF project. It holds a collection of blog posts that describe ULF in more detail than possible in publications or focused documents. It also links to resources used by the project, such as annotation guidelines, the annotator, and code.
• ULF and Inference Annotators
  Annotators for my research project on annotating and demonstrating the inference capabilities of underspecified episodic logic. If you're interested in getting involved please let me know! I'm always looking for more collaborators on this project.
  Related resources: ULF Annotation Guidelines
• (Steel Bank Common) Lisp Highlights
  This documents highlights aspects of Steel Bank Common Lisp that are important for getting started as a beginner. It covers important functions to know, some weird aspects of Lisp, minimal debugging tips, and some exercises to get comfortable with Lisp programming.

Publications

• A Transition-based Parser for Unscoped Episodic Logical Forms
  Gene Louis Kim, Viet Duong, Xin Lu, and Lenhart Schubert
  In Proceedings of the 14th International Conference on Computational Semantics (IWCS), 2021
  
• A (Mostly) Symbolic System for Monotonic Inference with Unscoped Episodic Logical Forms
  Gene Louis Kim, Mandar Juvekar, Junis Ekmekciu, Viet Duong, and Lenhart Schubert
  In Proceedings of the 2nd Workshop on Natural Logic Meets Machine Learning (NALOMA), 2021
  
• Montague Grammar Induction
  Gene Louis Kim and Aaron Steven White
  In Proceedings of Semantics and Linguistic Theory 30 (SALT 30), 2021
  [DOI]
• Monotonic Inference for Underspecified Episodic Logic
  Gene Louis Kim, Mandar Juvekar, and Lenhart Schubert
  In Proceedings of the 1st Workshop on Natural Logic Meets Machine Learning (NALOMA), 2020
  [Slides] [Bibtex]
• Generating Discourse Inferences from Unscoped Episodic Logical Formulas
  Gene Louis Kim, Benjamin Kane, Viet Duong, Muskaan Mendiratta, Graeme McGuire, Sophie Sackstein, Georgiy Platonov, and Lenhart Schubert
  In Proceedings of the 1st Workshop on Designing Meaning Representations (DMR), 2019
  [Slides] [Bibtex]
• Towards Natural Language Understanding with Rich Logical Schemas
  Lane Lawley, Gene Louis Kim, and Lenhart Schubert
  In Proceedings of the 13th International Conference on Computational Semantics (IWCS), 2019
  [Slides] [Bibtex]
• A Type-coherent, Expressive Representation as an Initial Step to Language Understanding
  Gene Louis Kim and Lenhart Schubert
  In Proceedings of the 13th International Conference on Computational Semantics (IWCS), 2019
  [Slides] [Bibtex]
• Towards Parsing Unscoped Episodic Logical Forms with a Cache Transition Parser (Poster Abstract)
  Gene Louis Kim
  In Proceedings of the 32nd International Conference of the Florida Artificial Intelligence Research Society (FLAIRS), 2019
  [Poster] [Bibtex]
• Intension, Attitude, and Tense Annotation in a High-Fidelity Semantic Representation
  Gene Kim and Lenhart Schubert
  In Proceedings of the Workshop on Computational Semantics Beyond Events and Roles (SemBEaR), 2017
  [Slides] [Bibtex]
• High-Fidelity Lexical Axiom Construction from Verb Glosses
  Gene Kim and Lenhart Schubert
  In Proceedings of the Fifth Joint Conference on Lexical and Computational Semantics (*SEM), 2016
  [Supplementary Document] [Slides] [Bibtex]
• A Type System for Format Strings
  Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst
  In Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA), 2014
  [Bibtex]
• A Format String Checker for Java
  Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst
  In Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA), 2014
  [Bibtex]

Technical Reports/Unrefereed Articles

• Thesis Proposal
  Gene Louis Kim
  Committee: Lenhart Schubert (supervisor), James Allen, Dan Gildea, Scott Grimm, Aaron Steven White
  [Slides]
• University of Washington System for 2015 KBP Cold Start Slot Filling
  Stephen Soderland, Natalie Hawkins, Gene Kim, and Daniel S. Weld
  In Proceedings of the Text Analysis Conference (TAC), 2015
  
• A Language Model for Extracting Implicit Relations
  Stephen Soderland, Gene Kim, and Natalie Hawkins
  Technical Report, 2015