some-random Goto Github PK

athena

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

athena.github.io

delta

DELTA is a deep learning based natural language and speech processing platform.

draft_sketch_prove

espnet

End-to-End Speech Processing Toolkit

factorsum

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

fastchat

folio

ircot

Repository for Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions, ACL23

lean-example

lean-tpe-public

The Lean Theorem Proving Environment

lm-eval-harness

logic-llm

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

minimal-mistakes

:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.

paperlist

Paper list for reasoning and agents

quiet-star

Code for Quiet-STaR

reasoning_world_model

reflexion

[NeurIPS 2023] Reflexion: Language Agents with Verbal Reinforcement Learning

some-random

My personal repo

some-random.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

theorem-proving-reasoning

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

vhred-implementation-in-tensorflow

A Hierarchical Latent Variable Encoder-Decoder Model for Generating Dialogues (VHRED) - Implementation in Tensorflow

vim-crunchbang

vim theme with crunchbang colours