Skip to content
View Some-random's full-sized avatar
💭
不可胜在己，可胜在敌
💭
不可胜在己，可胜在敌
39 followers · 12 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report Some-random

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Some-random/README.md

Hi there 👋

I'm working on large language models, specifically reasoning and self-improvement. In my previous life, I spent six years doing research in the industry on speech processing and self-supervised speech models.

Some-random's GitHub stats

Popular repositories Loading

  1. theorem-proving-reasoning theorem-proving-reasoning Public

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

    Lean 19 3

  2. lean-example lean-example Public

    Forked from yangky11/lean-example

    Lean 3

  3. Some-random Some-random Public

    My personal repo

    2

  4. athena athena Public

    Forked from athena-team/athena

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

    Python 1

  5. Logic-LLM Logic-LLM Public

    Forked from teacherpeterpan/Logic-LLM

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

    Python 1

  6. PaperList PaperList Public

    Paper list for reasoning and agents

    1