Some-random

Some-random's Stars

• openai/evals

  Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

  Language:Python15.2k2632152.6k

• LianjiaTech/BELLE

  BELLE: Be Everyone's Large Language model Engine（开源中文对话大模型）

  Language:HTML8k108442761

• youtube/api-samples

  Code samples for YouTube APIs, including the YouTube Data API, YouTube Analytics API, and YouTube Live Streaming API. The repo contains language-specific directories that contain the samples.

  Language:Java5.5k3793533k

• OpenBMB/BMTools

  Tool Learning for Big Models, Open-Source Solutions of ChatGPT-Plugins

  Language:Python2.9k3537274

• hyp1231/awesome-llm-powered-agent

  Awesome things about LLM-powered agents. Papers / Repos / Blogs / ...

  1.7k499137

• JosephPai/Awesome-Talking-Face

  📖 A curated list of resources dedicated to talking face.

  1.4k847112

• TimoBolkart/voca

  This codebase demonstrates how to synthesize realistic 3D character animations given an arbitrary speech signal and a static character mesh.

  Language:Python1.2k42118274

• athena-team/athena

  an open-source implementation of sequence-to-sequence based speech processing engine

  Language:C++96236137197

• joonson/syncnet_python

  Out of time: automated lip sync in the wild

  Language:Python6951662154

• soubhiksanyal/FLAME_PyTorch

  This is a implementation of the 3D FLAME model in PyTorch

  Language:Python68341787

• madaan/self-refine

  LLMs can generate feedback on their work, use it to improve the output, and repeat this process iteratively.

  Language:Python642142155

• lean-dojo/LeanDojo

  Tool for data extraction and interacting with Lean programmatically.

  Language:Python588146795

• THU-KEG/EvaluationPapers4ChatGPT

  Resource, Evaluation and Detection Papers for ChatGPT

  45522724

• lean-dojo/ReProver

  Retrieval-Augmented Theorem Provers for Lean

  Language:Python238102154

• jesse-michael-han/lean-gptf

  Interactive neural theorem proving in Lean

  Language:Lean118756

• huyhieupham/3D-Face-Recognition

  815115

• WHGTyen/BIG-Bench-Mistake

  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.

  Language:Python75219

• jaalonso/Lecturas_GLC

  Readings on computational logic, interactive theorem proving and functional programming.

  741218

• albertqjiang/Portal-to-ISAbelle

  https://albertqjiang.github.io/Portal-to-ISAbelle/

  Language:Python514718

• joyheyueya/declarative-math-word-problem

  Language:Python47216

• TeaPoly/Conformer-Athena

  Dynamic Chunk Streaming and Offline Conformer based on athena-team/Athena.

  Language:Python43118

• jasonrute/lean_proof_recording

  Proof recording for Lean 3

  Language:Python25548

• tommccoy1/embers-of-autoregression

  Language:Jupyter Notebook25101

• yining610/GEAR

  Official Implementation of "GEAR: Augmenting Language Models with Generalizable and Efficient Tool Resolution"

  Language:Python19201

• Some-random/theorem-proving-reasoning

  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf

  Language:Lean18422

• jesse-michael-han/lean-tpe-public

  The Lean Theorem Proving Environment

  Language:Lean13434

• thefonseca/factorsum

  Code for the paper Factorizing Content and Budget Decisions in Abstractive Summarization of Long Documents: https://arxiv.org/abs/2205.12486

  Language:Python11101

• Some-random/lean-example

  Language:Lean3000

• Some-random/Some-random

  My personal repo

  2100

• Some-random/Logic-LLM

  The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

  Language:Python1000