13 projects
lmms_eval
A framework for evaluating large multi-modality language models
chess-lm
Add your description here
lean-runner
A Python client for the Lean Theorem Prover Server API.
lean-server
A FastAPI-based server to interact with the Lean Theorem Prover.
lmms-lean-runner
Lean Server Workspace
simple-lean-client
A Python client for the Lean Theorem Prover Server API.
lmms-lean-client
A Python client for the Lean Theorem Prover Server API.
lmms-lean-server
A FastAPI-based server to interact with the Lean Theorem Prover.
sc3020-g6-2024
SC3020 Project-2
live-bench
Live Bench
otter-ai
Otter: A Multi-Modal Model with In-Context Instruction Tuning
lmm-eval
LMM-Eval
syphus
Syphus: Automatic Instruction-Response Generation Pipeline
