Popular GitHub Repositories for Formal Semantics

LLMs as Copilots for Theorem Proving in Lean

Configurable Generation of Synthetic Schemas and Knowledge Graphs at Your Fingertips

[CVPR2024] SeeSR: Towards Semantics-Aware Real-World Image Super-Resolution

(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)

A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

Semantics-aware BERT for Language Understanding (AAAI 2020)

Exercises for the Analysis of Knowledge Graphs

CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)

Bonnet and then some! Deep Learning Framework for various Image Recognition Tasks. Photogrammetry and Robotics Lab, University of Bonn

Neural Code Comprehension: A Learnable Representation of Code Semantics

Web-ify your word2vec: framework to serve distributional semantic models online

[NAACL'21 & ACL'21] SapBERT: Self-alignment pretraining for BERT & XL-BEL: Cross-Lingual Biomedical Entity Linking.

SLING - A natural language frame semantics parser

"Bootstrapping Relationship Extractors with Distributional Semantics" (Batista et al., 2015) in EMNLP'15 - Python implementation

Information extraction from English and German texts based on predicate logic

Neural Network Verification Software Tool

Tableau-based Theorem Prover for Natural Logic and Language

This is the formal code implementation of the CVPR 2022 paper 'Federated Class Incremental Learning'.

EMNLP 2023 Papers: Explore cutting-edge research from EMNLP 2023, the premier conference for advancing empirical methods in natural language processing. Stay updated on the latest in machine learning, deep learning, and natural language processing with code included. :star: support NLP!