All pull requests

Pull requests

• Add regex construction dataset

  #546·LoneCannibal opened Oct 27, 2026·

  ·

• Fix family in-law problem

  #542·mdjanbaz opened Oct 26, 2026·

  ·

• Fix contradictory premises in propositional_logic (#528)

  #541·plox-sumit opened Oct 12, 2026·

  ·
  1

• Fix reversed in-law relationship answers

  #540·miluaaaaa opened Oct 7, 2026·

  ·

• Fix syllogism labels with exact entailment checking

  #539·lukeaal opened Sep 17, 2026·

  ·

• docs: fix smart quote in README.md

  #538·SznImperial opened Sep 1, 2026·

  ·

• fix(leg_counting): correct animal plurals and curriculum upper bound

  #537·filipviz opened Aug 24, 2026·

  ·
  1

• fix: use source_index metadata key in kakurasu and survo

  #533·123Satyajeet123 opened Aug 5, 2026·

  ·

• irreps-tensor-product

  #532·DengZhiyuan-math opened Jul 10, 2026·

  ·

• added training and evaluation curr conf

  #495·joesharratt1229 opened Jul 28, 2025Collaborator·

  ·

• multi-task (graph) curriculum experiments

  #490·olliestanley opened Jul 27, 2025Member·

  ·

• Add a wikirace task

  #471·phhusson opened Jun 10, 2025·

  ·
  9