russellkim

russellkim's Stars

• dqwang122/SALAM

  Learning from Mistakes via Interactive Study Assistant for Large Language Models

  Language:Python7

• ypw0102/GDR

  code for EACL2024-main:Generative Dense Retrieval: Memory Can Be a Burden

  Language:Python111

• hunkim/SolarLLMZeroToAll

  Full Stack SolarLLM Zero to All

  Language:Jupyter Notebook15627

• czyssrs/LLM_X_papers

  Continually-updated reading list of LLM papers in Finance, Healthcare, and Law

  9

• DSA-MLOPS/DSAA6000I

  28

• zhaoyu-li/DL4TP

  A Survey on Deep Learning for Theorem Proving

  673

• WANGXinyiLinda/LM_random_walk

  Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation

  Language:Python8

• will-thompson-k/tldr-transformers

  The "tl;dr" on a few notable transformer papers (pre-2022).

  1886

• yangky11/ml4tp-tutorial

  NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving

  Language:Jupyter Notebook3

• bgavran/Category_Theory_Machine_Learning

  List of papers studying machine learning through the lens of category theory

  Language:Python1.2k51

• Some-random/theorem-proving-reasoning

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

  Language:Lean122

• oashua/MathAgent

  Code repo for MathAgent

  Language:Jupyter Notebook103

• j991222/ai4math-papers

  AI for Mathematics (AI4Math) paper list

  673

• digama0/lean4lean

  Lean 4 kernel / 'external checker' written in Lean 4

  Language:Lean643

• Relaxed-System-Lab/COMP4901Y_Course_HKUST

  Course Material for the UG Course COMP4901Y

  Language:Python39

• google-research/meliad

  Language:Python23327

• google-deepmind/alphageometry

  Language:Python3.8k400

• openai/lean-gym

  Language:Lean14632

• laura-dietz/neurosymbolic-representations-for-IR

  Resources for Tutorial on Neuro-Symbolic Representations for IR

  83

• EvanZhuang/MetaTree

  Official implementation of MetaTree: Learning a Decision Tree Algorithm with Transformers

  Language:Python893

• blacksmithgu/datacore

  Work-in-progress successor to Dataview with a focus on UX and speed.

  Language:TypeScript1.2k9

• gmh5225/AI-GraphMR

  2

• PeterKementzey/graph-library-for-lean4

  Language:Lean163

• UpstageAI/dataverse

  The Universe of Data. All about data, data science, and data engineering

  Language:Python41142

• FreedomIntelligence/ReasoningNLP

  paper list on reasoning in NLP

  16413

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean992239

• vantezzen/zotero-better-bibtex-to-overleaf

  Language:TypeScript4

• deepseek-ai/DeepSeek-Math

  DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

  Language:Python63931

• hkust-nlp/PEM_composition

  [NeurIPS 2023] Github repository for "Composing Parameter-Efficient Modules with Arithmetic Operations"

  Language:Python456

• gangwJiang/HPrompt-CPT

  An official implement of "Towards Anytime Fine-tuning: Continually Pre-trained Language Models with Hypernetwork Prompts“"

  5