Alternatives and similar repositories for causal-math

Users that are interested in causal-math are comparing it to the libraries listed below

• 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"
  ☆27Updated 2 years ago
• princeton-nlp / WhatICLLearns
  [ACL 2023 Findings] What In-Context Learning “Learns” In-Context: Disentangling Task Recognition and Task Learning
  ☆21Updated last year
• da03 / Residual-EBM
  Code for Residual Energy-Based Models for Text Generation in PyTorch.
  ☆24Updated 4 years ago
• eric11eca / disco
  Generating diverse counterfactual data for Natural Language Understanding tasks using Large Language Models (LLMs). The generator support…
  ☆37Updated last year
• PrasannS / rlhf-length-biases
  ☆28Updated last year
• archiki / ReCEval
  Supporting code for ReCEval paper
  ☆28Updated 9 months ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆73Updated 2 years ago
• xxxiaol / magic-if
  Source code and data for The Magic of IF: Investigating Causal Reasoning Abilities in Large Language Models of Code (Findings of ACL 2023…
  ☆29Updated 2 years ago
• violet-zct / swarm-distillation-zero-shot
  ☆22Updated 2 years ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago
• FranxYao / Complexity-Based-Prompting
  Complexity Based Prompting for Multi-Step Reasoning
  ☆17Updated 2 years ago
• archiki / GrIPS
  Code for our paper: "GrIPS: Gradient-free, Edit-based Instruction Search for Prompting Large Language Models"
  ☆55Updated 2 years ago
• ekinakyurek / gpt3-arithmetic
  Scratchpad/Chain-of-Thought Prompts
  ☆12Updated 3 years ago
• nelson-liu / evaluating-verifiability-in-generative-search-engines
  Companion repo for "Evaluating Verifiability in Generative Search Engines".
  ☆83Updated 2 years ago
• wellecks / llemma_formal2formal
  Llemma formal2formal (tactic prediction) theorem proving experiments
  ☆20Updated last year
• joshuacnf / paradox-learning2reason
  ☆34Updated 6 months ago
• yanaiela / pararel
  ☆44Updated last year
• iiis-ai / IterativeQuestionComposing
  Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…
  ☆20Updated 6 months ago
• mega002 / ff-layers
  The accompanying code for "Transformer Feed-Forward Layers Are Key-Value Memories". Mor Geva, Roei Schuster, Jonathan Berant, and Omer Le…
  ☆93Updated 3 years ago
• nilesc / Long-Structured-Debate-Generation-and-Evaluation
  ☆13Updated 2 years ago
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 3 years ago
• Nanami18 / Snowballed_Hallucination
  ☆44Updated 9 months ago
• BrachioLab / incontext_influences
  In-context Example Selection with Influences
  ☆15Updated 2 years ago
• Zce1112zslx / IKE
  ☆41Updated last year
• HKUNLP / subgoal-theorem-prover
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19Updated 2 years ago
• xiamengzhou / training_trajectory_analysis
  [ACL 2023]: Training Trajectories of Language Models Across Scales https://arxiv.org/pdf/2212.09803.pdf
  ☆24Updated last year
• XiangLi1999 / AutoBencher
  ☆29Updated 11 months ago
• debjitpaul / refiner
  About The corresponding code from our paper " REFINER: Reasoning Feedback on Intermediate Representations" (EACL 2024). Do not hesitate t…
  ☆70Updated last year
• sunlab-osu / Understanding-CoT
  ☆87Updated 2 years ago
• mireshghallah / mixmatch
  Repository for ACL 2022 paper Mix and Match: Learning-free Controllable Text Generation using Energy Language Models
  ☆44Updated 3 years ago