Skip to content
@lab-v2

Lab V2

GitHub site for Lab V2 at ASU

Lab V2

Welcome to Lab V2's GitHub page 👋

Lab V2 is run by Dr. Paulo Shakarian at Arizona State University. Read more here

Our goal in this GitHub Organization is to create user friendly software, well written and structed code to make our work traferable to the real world.

Research

The research at Lab V2 is primarily focused on the new and exciting field of Neuro Symbolic AI -- the intersection of Symbolic Logic and Machine Learning. We aim to improve intelligent systems across a range of domain problem areas including autonomy, supply network analysis, and medical applications. You can find out more about our research with the link above.

Resources

We have several resources for anyone interested in our research:

  1. YouTube
  2. Neuro Symbolic Website
  3. Medium

Contributing

If you have an idea for an improvement, feature or bug fix, feel free to open a Pull Request or get in touch with the repository creator. If you have been tasked with writing code for us, please consult the Lab V2 Welcome package for details and a styleguide.

Contact

Dr. Paulo Shakarian: [email protected]

Pinned Loading

  1. pyreason Public

    An explainable inference software supporting annotated, real valued, graph based and temporal logic

    Python 210 17

  2. ChatGPT_MWP_eval Public

    Independent evaluation of ChatGPT on MWP's

    Jupyter Notebook 4 1

Repositories

Showing 10 of 17 repositories
  • pyreason Public

    An explainable inference software supporting annotated, real valued, graph based and temporal logic

    Python 210 17 11 0 Updated Mar 31, 2025
  • PyEDCR Public

    PyEDCR is a metacognitive neuro-symbolic method for learning error detection and correction rules in deployed ML models using combinatorial sub-modular set optimization

    Python 4 MIT 1 0 0 Updated Feb 19, 2025
  • JavaScript 0 0 0 0 Updated Jan 19, 2025
  • MDS-A-Dataset Public
    0 0 0 0 Updated Dec 17, 2024
  • Jupyter Notebook 0 0 0 0 Updated Oct 14, 2024
  • Python 5 1 0 0 Updated Aug 1, 2024
  • diversity_measures Public

    Code for the paper: Diversity Measures: Domain Independent Proxies for Failure in Language Model Queries

    Jupyter Notebook 5 0 0 0 Updated Jul 20, 2024
  • 0 MIT 0 0 0 Updated May 16, 2024
  • langdiversity Public

    Elevate your language models with insightful diversity metrics.

    Python 11 BSD-3-Clause 3 0 0 Updated Feb 4, 2024
  • pyreason-gym Public

    An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting

    Python 31 BSD-3-Clause 3 5 1 Updated Dec 28, 2023