jizej Goto Github PK

2016frc_robot

2016frcrobot

An awesome program written by a group of genius and "Hen Shuai De" students.

ar-lsat

Experiment for lsat

autodl_starting_kit_stable

Starting kit for AutoCV/AutoDL challenge

awesome-deeplogic

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

chain-of-thought-hub

Benchmarking large language models' complex reasoning ability with chain-of-thought prompting

cogdl

CogDL: An Extensive Toolkit for Deep Learning on Graphs

coqgym

A Learning Environment for Theorem Proving with the Coq proof assistant

coqpyt

Python client for coq-lsp

coursehelper

for 2019 FALL CS125 MP6

cs445_finalproject

UIUC CS445 FALL2019 final project

data_hackerspace_homework

datathon2020model

A predictive and explainable model for ads targeting.

dgfraud

A Deep Graph-based Toolbox for Fraud Detection

dictionaries

Dictionaries (with modules)

e-pycoq

Python bindings for the Coq interactive proof assistant

gomokufun

a simple gomoku game

grade-school-math

graphview

Android GraphView is used to display data in graph structures.

hypre

Parallel solvers for sparse linear systems featuring multigrid methods.

jizej.github.io

lab2

Lab 2 starter code.

lama

LAnguage Model Analysis

language-planner

Official Code for "Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agents"

lightgcn-pytorch

The PyTorch implementation of LightGCN

logic-llm

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

loss-data-analytics

Loss Data Analytics is an interactive, online, freely available text. It provides core training on one of the foundations of actuarial science, loss data modeling.

lreasoner

The code of Paper "Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text".

mirror-isabelle

Git mirror of https://isabelle.in.tum.de/repos/isabelle

naics-api

Basic API to return NAICS codes and information