kovvalsky

followers

following

stars

University of Groningen

https://naturallogic.pro/

Organizations

ParallelMeaningBank

Fibo Kowalsky's repositories

LangPro

Tableau-based Theorem Prover for Natural Logic and Language

Language:PrologBSD-3-Clause109 8 5

DRS2Graph

Language:Python6 30

prove_SICK_NL

Prove Ducth NLI problems of SICK-NL with LangPro

Language:PrologMIT3 3 31

GeoGram

An HPSG-based Formal Grammar of a Core Fragment of Georgian Implemented in TRALE

Language:PrologMPL-2.01 20

SpaceNLI

Natural Language Inference problems specialized for spatial semantics & reasoning

Language:PythonMIT1 20

assigntools

Ready scripts used in assignments of courses

Language:PythonMIT020

graphviz-visual-editor

A web application for interactive visual editing of Graphviz graphs described in the DOT language.

Language:JavaScriptMIT010

LogicLLaMA

Large language model and dataset for natural language to first-order logic translation

Language:Jupyter NotebookApache-2.0000

lxmls-notebooks

Language:Jupyter Notebook020

mathQ

Data and code for the paper "A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level" by Drori et al., 2022.

Language:PythonMIT000

mtool

Software to Manipulate Different Flavors of Semantic Graphs

Language:PythonLGPL-3.0020

polish-sentence-evaluation

Evaluation of Sentence Representations in Polish

Language:PythonGPL-3.0000

PyTorchNLPBook

Code and data accompanying Natural Language Processing with PyTorch published by O'Reilly Media https://nlproc.info

Language:Jupyter NotebookApache-2.0000

SemDL

Semantics and Deep Learning

Language:Jupyter Notebook020