Discover eric11eca/AutomatonStudio Open Source project

Stars
5
Rank 2,861,937 (Top 57 %)
Language
JavaScript
License
Apache License 2.0
Created over 4 years ago
Updated almost 2 years ago

eric11eca

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.

disco

Generating diverse counterfactual data for Natural Language Understanding tasks using Large Language Models (LLMs). The generator supports GPT-3, ChatGPT, and GPT-4.

Python

NeuralLog

A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search engine. Sequence chunking and neural paraphrase detection for syntactic variation. SOTA result on SICK and MED.

Jupyter Notebook

Udep2Mono

Universal Dependency polarization for monotonicity based natural language inference

Jupyter Notebook

reckoning-metakg

RECKONING is a bi-level learning algorithm that improves language models' reasoning ability by folding contextual knowledge into parametric knowledge through back-propagation.

Python

curriculum-ling

Curriculum is a new format of NLI benchmark for evaluation of broad-coverage linguistic phenomena. This linguistic-phenomena-driven benchmark can serve as an effective tool for diagnosing model behavior and verifying model learning quality.

Jupyter Notebook

rhit_rover_ui

Driver station user interface for RHIT rover team

JavaScript

CppND-Capstone-Covid-19-SocialDistance

Automated social distance monitoring with yolov3 and opencv c++.

C++

inference-information-probing

Probing linguistic information for logical inference, in pre-trained language models

Python

common-bench

EPFL Machine Learning course project 2. Associated with NLP Lab. Commonsense reasoning benchmark and probing for large language models.

Python

PandemicBoardGame

Implementation of the Pandemic board game in Java

Java

eric11eca/AutomatonStudio

eric11eca

Reviews

Repository Details

More Repositories