Stars
The official implemention of "Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration" (ICML 2026)
[NeurIPS 2025] Official implementation for the paper "SeePhys: Does Seeing Help Thinking? -- Benchmarking Vision-Based Physics Reasoning"
[ICLR] This Repo provides code for evaluating LLMs on LEXam - a comprehensive benchmark evaluating AI system's legal reasoning ability with law exam questions, using both open and multiple-choice q…
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 implementations for Discourse-Aware Graph Networks for Textual Logical Reasoning (TPAMI) and DAGN: Discourse-Aware Graph Network for Logical Reasoning (NAACL-21).
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 Embeddings, Retrieval, and Reranking