Stars
Official PyTorch implementation for "Large Language Diffusion Models"
YQX-ZJUer / JGEX
Forked from yezheng1981/Java-Geometry-ExpertJava Geometry Expert
Automatic solver for plane geometry problems.
Official release of InternLM series (InternLM, InternLM2, InternLM2.5, InternLM3).
State-of-the-art bilingual open-sourced Math reasoning LLMs.
[ICML 2023] Code for our paper “Compositional Exemplars for In-context Learning”.
YQX-ZJUer / CEIL
Forked from HKUNLP/icl-ceil[ICML 2023] Code for our paper “Compositional Exemplars for In-context Learning”.
YQX-ZJUer / mathlib4
Forked from leanprover-community/mathlib4The math library of Lean 4
[AAAI'25] The official implementation code of LLMEmb
YQX-ZJUer / ReProver
Forked from lean-dojo/ReProverRetrieval-Augmented Theorem Provers for Lean
[AAAI'25] The official implementation code of LLMEmb
All code necessary for reproducing the "Improving Sequential Recommendation with LLMs" and "Leveraging Large Language Models for Sequential Recommendation" papers.
OpenCompass is an LLM evaluation platform, supporting a wide range of models (Llama3, Mistral, InternLM2,GPT-4,LLaMa2, Qwen,GLM, Claude, etc) over 100+ datasets.
YQX-ZJUer / LeanDojo
Forked from lean-dojo/LeanDojoTool for data extraction and interacting with Lean programmatically.
Retrieval-Augmented Theorem Provers for Lean