algo-reasoning / algo-reasoning.github.io

Related projects: ⓘ

• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆34Updated last year
• Yujun-Yan / Neural-Execution-Engines
  Code for Neural Execution Engines: Learning to Execute Subroutines
  ☆16Updated 3 years ago
• jjcmoon / semiring_torch
  Semiring programming in PyTorch
  ☆10Updated 7 months ago
• FranxYao / RDP
  Implementation of ICML 22 Paper: Scaling Structured Inference with Randomization
  ☆14Updated 2 years ago
• GSYfate / knnlm-limits
  Official code repo for paper "Great Memory, Shallow Reasoning: Limits of kNN-LMs"
  ☆15Updated 3 weeks ago
• bergen / EdgeTransformer
  ☆21Updated 2 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 2 years ago
• kdu4108 / semiring-backprop-exps
  ☆16Updated last year
• RodkinIvan / associative-recurrent-memory-transformer
  [ICML 24 NGSM workshop] Associative Recurrent Memory Transformer implementation and scripts for training and evaluating
  ☆26Updated last week
• esteng / regal_program_learning
  ☆20Updated last week
• danilonumeroso / conar
  Official code for the paper `Neural Algorithmic Reasoning for Combinatorial Optimisation`
  ☆15Updated 9 months ago
• machelreid / editpro
  Learning to Model Editing Processes
  ☆26Updated 2 years ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆15Updated 11 months ago
• srush / ProbTalk
  ☆29Updated 2 years ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆14Updated last year
• wellecks / llemma_formal2formal
  Llemma formal2formal (tactic prediction) theorem proving experiments
  ☆15Updated 11 months ago
• joshuacnf / paradox-learning2reason
  ☆32Updated 6 months ago
• JeremyAlain / imitation_learning_from_language_feedback
  This repository contains some of the code used in the paper "Training Language Models with Langauge Feedback at Scale"
  ☆26Updated last year
• Yuanhy1997 / HyPe
  HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]
  ☆13Updated last year
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆26Updated 2 months ago
• Jungyhuk / plotcoder
  ☆21Updated 2 years ago
• logictensornetworks / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆20Updated last year
• LZhengisme / self-infilling
  [ICML 2024] Self-Infilling Code Generation
  ☆16Updated 4 months ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆51Updated 3 years ago
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 2 years ago
• HazyResearch / embroid
  Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification
  ☆11Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆28Updated 4 months ago
• srush / tangent
  Source-to-Source Debuggable Derivatives in Pure Python
  ☆14Updated 7 months ago
• dunzeng / MORE
  Code for paper - On Diversified Preferences of Large Language Model Alignment
  ☆14Updated last month
• LZhengisme / CODA
  Implementation of Cascaded Head-colliding Attention (ACL'2021)
  ☆11Updated 3 years ago