Pinned Repositories
assigntools
Ready scripts used in assignments of courses
DRS2Graph
GeoGram
An HPSG-based Formal Grammar of a Core Fragment of Georgian Implemented in TRALE
graphviz-visual-editor
A web application for interactive visual editing of Graphviz graphs described in the DOT language.
LangPro
Tableau-based Theorem Prover for Natural Logic and Language
LogicLLaMA
Large language model and dataset for natural language to first-order logic translation
lxmls-notebooks
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.
prove_SICK_NL
Prove Ducth NLI problems of SICK-NL with LangPro
SpaceNLI
Natural Language Inference problems specialized for spatial semantics & reasoning
kovvalsky's Repositories
kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
kovvalsky/DRS2Graph
kovvalsky/prove_SICK_NL
Prove Ducth NLI problems of SICK-NL with LangPro
kovvalsky/GeoGram
An HPSG-based Formal Grammar of a Core Fragment of Georgian Implemented in TRALE
kovvalsky/SpaceNLI
Natural Language Inference problems specialized for spatial semantics & reasoning
kovvalsky/assigntools
Ready scripts used in assignments of courses
kovvalsky/graphviz-visual-editor
A web application for interactive visual editing of Graphviz graphs described in the DOT language.
kovvalsky/LogicLLaMA
Large language model and dataset for natural language to first-order logic translation
kovvalsky/lxmls-notebooks
kovvalsky/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.
kovvalsky/mtool
Software to Manipulate Different Flavors of Semantic Graphs
kovvalsky/polish-sentence-evaluation
Evaluation of Sentence Representations in Polish
kovvalsky/PyTorchNLPBook
Code and data accompanying Natural Language Processing with PyTorch published by O'Reilly Media https://nlproc.info
kovvalsky/SemDL
Semantics and Deep Learning
kovvalsky/NLP-Song-of-Ice-and-Fire
corpus