Some-random

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

lean-example

Logic-LLM

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

Some-random

My personal repo

theorem-proving-reasoning

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

Some-random/theorem-proving-reasoning

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

Some-random/lean-example

Some-random/Some-random

My personal repo

Some-random/athena

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

Some-random/Logic-LLM

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

Some-random/athena.github.io

Some-random/delta

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

Some-random/draft_sketch_prove

Some-random/espnet

End-to-End Speech Processing Toolkit

Some-random/factorsum

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

Some-random/FOLIO

Some-random/lean-tpe-public

The Lean Theorem Proving Environment

Some-random/VHRED-implementation-in-Tensorflow

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

Some-random/vim-crunchbang

vim theme with crunchbang colours

Some-random/FastChat

Some-random/ircot

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

Some-random/lm-eval-harness

Some-random/minimal-mistakes

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

Some-random/PaperList

Paper list for reasoning and agents

Some-random/quiet-star

Code for Quiet-STaR

Some-random/reasoning_world_model

Some-random/reflexion

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

Some-random/Some-random.github.io

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