Stars
This Repo provides code for evaluating LLMs on LEXam. LEXam is a comprehensive benchmark evaluating AI system's legal reasoning ability with law exam questions. It has two subsets of open questions…
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
A simple REPL for Lean 4, returning information about errors and sorries.
CodeGeeX: An Open Multilingual Code Generation Model (KDD 2023)
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Proof in Lean of Fermat Last Theorem for exponent 3
Official code for Symbolic Music Generation with Non-Differentiable Rule Guided Diffusion (ICML 2024, Oral).
Official implementation for the NAACL'21 short paper DAGN: Discourse-Aware Graph Network for Logical Reasoning.
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
Data and software for building the ACL Anthology.
A simple notebook demonstrating prompt-based music generation via Mubert API
"Target-Guided Open-Domain Conversation" in ACL 2019
"Rethinking Graph Neural Networks for Anomaly Detection" in ICML 2022
A trend starts from "Chain of Thought Prompting Elicits Reasoning in Large Language Models".
[CVPR 2023] An official Pytorch implementation of "Masked Jigsaw Puzzle: A Versatile Position Embedding for Vision Transformers".
Language Models Can See: Plugging Visual Controls in Text Generation
A summary of must-read papers for Neural Question Generation (NQG)
Texar (tf-backend) implementation of "GTAE: Graph-Transformer Based Auto Encoder for Text Style Transfer"
An Open-Source Package for Knowledge Embedding (KE)
State-of-the-Art Text Embeddings
Shared repository for open-sourced projects from the Google AI Language team.
An open-source NLP research library, built on PyTorch.