Jize (Winston) Jiang's repositories
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
CS445_FinalProject
UIUC CS445 FALL2019 final project
Datathon2020model
A predictive and explainable model for ads targeting.
dictionaries
Dictionaries (with modules)
e-pycoq
Python bindings for the Coq interactive proof assistant
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.
mirror-isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
PromptAgent
This is the official repo for "PromptAgent: Strategic Planning with Language Models Enables Expert-level Prompt Optimization". PromptAgent is a novel automatic prompt optimization method that autonomously crafts prompts equivalent in quality to those handcrafted by experts, i.e., expert-level prompts.
prontoqa
Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
SimCLR
PyTorch implementation of SimCLR: A Simple Framework for Contrastive Learning of Visual Representations
u-pycoq
python API to coq-serapi
ultimate-utils
Brando's utils
zf
An axiomatisation of intuitionistic Zermelo-Fraenkel set theory