Commits

Branch selector

 9b51e52

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 30, 2020

• changing number of cores

  

  Thibault Gauthier

  committed
  9b51e52

  Copy full SHA for 9b51e52

• premise selection through reinforcement learning on sat theorem proving (first version)

  

  Thibault Gauthier

  committed
  f29e755

  Copy full SHA for f29e755

• simplifying targetd

  

  Thibault Gauthier

  committed
  c8abd58

  Copy full SHA for c8abd58

• allowing to evaluate end states to a value different than 0.0 or 1.0

  

  Thibault Gauthier

  committed
  87fcd83

  Copy full SHA for 87fcd83

Commits on Mar 27, 2020

• continuous rewards for MCTS

  

  Thibault Gauthier

  committed
  d4e2bea

  Copy full SHA for d4e2bea

Commits on Mar 26, 2020

• adding back experiment with propositional resolution

  

  Thibault Gauthier

  committed
  f1fba3b

  Copy full SHA for f1fba3b

Commits on Mar 25, 2020

• save before battery crash

  

  Thibault Gauthier

  committed
  15067f2

  Copy full SHA for 15067f2

Commits on Mar 17, 2020

• removing AI_develop

  

  Thibault Gauthier

  committed
  bd4e865

  Copy full SHA for bd4e865

Commits on Mar 16, 2020

• mcts for machine learning

  

  Thibault Gauthier

  committed
  e4af7f2

  Copy full SHA for e4af7f2

Commits on Mar 12, 2020

• supervised learning as a game

  

  Thibault Gauthier

  committed
  ca42988

  Copy full SHA for ca42988

• update Readme

  

  Thibault Gauthier

  committed
  c679f0c

  Copy full SHA for c679f0c

• moving TNN examples + new experimental directory

  

  Thibault Gauthier

  committed
  f848237

  Copy full SHA for f848237

Commits on Mar 10, 2020

• 4 cores

  

  Thibault Gauthier

  committed
  5d20cf6

  Copy full SHA for 5d20cf6

Commits on Mar 9, 2020

• updating training interface in entailment experiments

  

  Thibault Gauthier

  committed
  458e25c

  Copy full SHA for 458e25c

• removing graphical export functions and updating data import

  

  Thibault Gauthier

  committed
  e3d3a62

  Copy full SHA for e3d3a62

Commits on Mar 3, 2020

• code for processing results

  

  Thibault Gauthier

  committed
  77e1dfb

  Copy full SHA for 77e1dfb

Commits on Feb 21, 2020

• Merge remote-tracking branch 'origin/develop' into thibault-wip

  

  Thibault Gauthier

  committed
  48feab6

  Copy full SHA for 48feab6

• complete README + update build sequence

  

  Thibault Gauthier

  committed
  bcd916d

  Copy full SHA for bcd916d

• Normalise ℝ multiplications on either side of relation symbols

  Show description for 32cb5f6
  

  Michael Norrish

  committed
  32cb5f6

  Copy full SHA for 32cb5f6

• Correct a broken name in realTheory

  Show description for d9a6102
  

  Michael Norrish

  committed
  d9a6102

  Copy full SHA for d9a6102

• Improve DESCRIPTION manual's index on Type special syntactic form

  

  Michael Norrish

  committed
  b36b811

  Copy full SHA for b36b811

• Improve DESCRIPTION manual's index on termination and WFness

  

  Michael Norrish

  committed
  e777643

  Copy full SHA for e777643

Commits on Feb 20, 2020

• emacs-mode: don't load "modules" inside comments within open blocks

  

  Michael Norrish

  committed
  d5a1c01

  Copy full SHA for d5a1c01

• remove trailing white spaces

  

  Thibault Gauthier

  committed
  75ecbff

  Copy full SHA for 75ecbff

• More automatic rewrites over ℝ and fixes of fall-out

  

  Michael Norrish

  committed
  b22ec6f

  Copy full SHA for b22ec6f

• trying to fix term syntax error

  

  Thibault Gauthier

  committed
  0a150db

  Copy full SHA for 0a150db

• trying to fix term syntax error

  

  Thibault Gauthier

  committed
  2a6d22a

  Copy full SHA for 2a6d22a

• restoring TPTP scripts

  

  Thibault Gauthier

  committed
  eabf60f

  Copy full SHA for eabf60f

• verification of the solutions

  

  Thibault Gauthier

  committed
  0cc0b07

  Copy full SHA for 0cc0b07

• Tweaks to multiplicative normalisation over ℝ

  Show description for 8751db6
  

  Michael Norrish

  committed
  8751db6

  Copy full SHA for 8751db6

• Make x⁻¹ = 0 ⇔ (x:real) = 0 an automatic rewrite

  Show description for 2ce3c00
  

  Michael Norrish

  committed
  2ce3c00

  Copy full SHA for 2ce3c00

• Add RMULCANON to automatic simplification

  Show description for 5283d5f
  

  Michael Norrish

  committed
  5283d5f

  Copy full SHA for 5283d5f

Commits on Feb 19, 2020

• Merge remote-tracking branch 'origin/interaction-guide-update' into develop

  myreen

  committed
  9d20add

  Copy full SHA for 9d20add

• Remove advise about Unicode that doesn't seem to work

  myreen

  committed
  3ea1556

  Copy full SHA for 3ea1556

• Add a useScript entry point to QUse that forces "interactive" mode

  

  Michael Norrish

  committed
  a503c0a

  Copy full SHA for a503c0a

Pagination

Previous

Next