🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

PyTorch code for Vision Transformers training with the Self-Supervised learning method DINO

Usable Implementation of "Bootstrap Your Own Latent" self-supervised learning, from Deepmind, in Pytorch

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Paired Open-Ended Trailblazer (POET) and Enhanced POET

Handwritten Equations Decipherment with Abductive Learning

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

Natural Language (NL) to Linear Temporal Logic (LTL)

Code for paper Lang2LTL: Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments

Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)

This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.org/abs/2102.06858).

From LTLf/LDLf To Automata

Repository containing all implementations and experiments for the EDBN model.

Reinforcement Learning framework for Temporal Goals

Implementation of PDFAs and PDFA learning algorithm.

Extracting minimal DFA's from well-trained RNN's

[IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas

Automaton generation

A python tool for solving minDFA problem.

DFA extraction using neural state merging

Official repository for the paper "DeepDFA: Automata Learning through Neural Probabilistic Relaxations". Elena Umili and Roberto Capobianco. ECAI 2024.

Official code for the paper, "Reinforcement Explanation Learning"

Plan robots with a symbolic domain learned from scratch