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:Python14.3k2652032.5k

• LianjiaTech/BELLE

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

  Language:HTML7.7k107438744

• 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.3k3723393k

• OpenBMB/BMTools

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

  Language:Python2.9k3537266

• hyp1231/awesome-llm-powered-agent

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

  1.2k38587

• JosephPai/Awesome-Talking-Face

  📖 A curated list of resources dedicated to talking face.

  1.1k78599

• TimoBolkart/voca

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

  Language:Python1.1k41115275

• athena-team/athena

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

  Language:C++94737137194

• soubhiksanyal/FLAME_PyTorch

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

  Language:Python62841785

• joonson/syncnet_python

  Out of time: automated lip sync in the wild

  Language:Python6181561140

• madaan/self-refine

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

  Language:Python519122042

• lean-dojo/LeanDojo

  Tool for data extraction and interacting with Lean programmatically.

  Language:Python473154672

• THU-KEG/EvaluationPapers4ChatGPT

  Resource, Evaluation and Detection Papers for ChatGPT

  44922723

• lean-dojo/ReProver

  Retrieval-Augmented Theorem Provers for Lean

  Language:Python18681536

• jesse-michael-han/lean-gptf

  Interactive neural theorem proving in Lean

  Language:Lean112756

• huyhieupham/3D-Face-Recognition

  705114

• jaalonso/Lecturas_GLC

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

  621218

• WHGTyen/BIG-Bench-Mistake

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

  Language:Python576

• albertqjiang/Portal-to-ISAbelle

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

  Language:Python484616

• TeaPoly/Conformer-Athena

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

  Language:Python43118

• joyheyueya/declarative-math-word-problem

  Language:Python41215

• jasonrute/lean_proof_recording

  Proof recording for Lean 3

  Language:Python23548

• tommccoy1/embers-of-autoregression

  Language:Jupyter Notebook22201

• yining610/GEAR

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

  Language:Python17201

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

  The Lean Theorem Proving Environment

  Language:Lean13434

• Some-random/theorem-proving-reasoning

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

  Language:Lean12202

• 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