Commits · 0b6342f21b8d06f6ba5258ceb6b9b5f52d9f0a5d · chsieh16 / cs598mp-fall2021-proj

May 01, 2022
- Merge branch 'main' of gitlab.engr.illinois.edu:chsieh16/cs598mp-fall2021-proj into main · 0b6342f2
  aastorg2 authored 2 years ago
  
  0b6342f2
- debugging notes · f9c061bb
  aastorg2 authored 2 years ago
  
  f9c061bb
Apr 30, 2022
- Exclude samples not in bound instead of turing into negative examples · 9a2eeba3
  chsieh16 authored 2 years ago
  
  9a2eeba3
Apr 28, 2022
- Use Z3 instead of sympy for simplifying formula · 933d64c4
  chsieh16 authored 2 years ago
  
  933d64c4
Apr 26, 2022
- Ask teacher to check positive examples · a2f19d65
  chsieh16 authored 2 years ago
  
  a2f19d65
Apr 21, 2022
- Add documentation · bb5a5877
  chsieh16 authored 2 years ago
  
  bb5a5877
Apr 19, 2022
- Clean up print messages · 5b70ef42
  chsieh16 authored 2 years ago
  
  5b70ef42
- Refactor to parse dtree as one ITE expression · 0f06ebb9
  chsieh16 authored 2 years ago
  
  0f06ebb9
- Refactor for readability and consistency · 04dd969b
  chsieh16 authored 2 years ago
  
  04dd969b
- Rename dump function · 68c86728
  chsieh16 authored 2 years ago
  
  68c86728
Apr 18, 2022
- Add sympy teacher · ba4170fd
  chsieh16 authored 2 years ago
  
  ba4170fd
- Use sympy ITE expressions for representing candidate dtree · 0f3cc5a1
  chsieh16 authored 2 years ago
  
  0f3cc5a1
- Add sympy as dependency · 48b398f2
  chsieh16 authored 2 years ago
  
  48b398f2
- Ignore images · 001bb73f
  chsieh16 authored 2 years ago
  
  001bb73f
Apr 09, 2022
- Add teacher using dReal · 9df05472
  chsieh16 authored 2 years ago
  
  9df05472
Mar 15, 2022
- adding command to copy frsh file before execution · 0b93929a
  aastorg2 authored 3 years ago
  
  0b93929a
- changing default to 50 · 7fe9ca33
  aastorg2 authored 3 years ago
  
  7fe9ca33
- Merge branch 'main' of gitlab.engr.illinois.edu:chsieh16/cs598mp-fall2021-proj into main · e5186b45
  aastorg2 authored 3 years ago
  
  e5186b45
Jan 30, 2022
- merging · 164fc16b
  aastorg2 authored 3 years ago
  
  164fc16b
- changing to tuple type · f25aadeb
  aastorg2 authored 3 years ago
  
  f25aadeb
- Add threhold in candidates and assertion to check negative examples · b4a41659
  chsieh16 authored 3 years ago
  
  b4a41659
- adding check for duplicate percieved state · ddbe0a57
  aastorg2 authored 3 years ago
  
  ddbe0a57
- Merge branch 'main' of gitlab.engr.illinois.edu:chsieh16/cs598mp-fall2021-proj into main · c5d384c9
  aastorg2 authored 3 years ago
  
  c5d384c9
- make sure negative examples are unique · 1f3af1b4
  aastorg2 authored 3 years ago
  
  1f3af1b4
- Add code to validate candidate DNF with teacher · 1359c0cd
  chsieh16 authored 3 years ago
  
  1359c0cd
- Apply Dual Reduction after result is INF_OR_UNBD · 8d310c51
  chsieh16 authored 3 years ago
  
  8d310c51
- Enable dual reduction in presolve · 22ca231e
  chsieh16 authored 3 years ago
  
  22ca231e
Jan 24, 2022
- more notes · 2b148106
  aastorg2 authored 3 years ago
  
  2b148106
- adding debugging notes · 96cfe8c1
  aastorg2 authored 3 years ago
  
  96cfe8c1
Jan 04, 2022
- Remove the generated json to avoid reusing old trees · 57fd363c
  chsieh16 authored 3 years ago
  
  57fd363c
- Add ploting script for abs learned via dtree · b6784183
  chsieh16 authored 3 years ago
  
  b6784183
- removing csv files for testing · c076660b
  aastorg2 authored 3 years ago
  
  c076660b
- adding debugging files · 7415b7d6
  aastorg2 authored 3 years ago
  
  7415b7d6
Dec 30, 2021
- changing how python sum function is called for compatabily purposes · a36462a2
  aastorg2 authored 3 years ago
  
  a36462a2
- winner dnf outputted when we truly know we are done · c066d08a
  aastorg2 authored 3 years ago
  
  c066d08a
- Specify name as an init parameter · 398e569a
  chsieh16 authored 3 years ago
  
  398e569a
- Add DTree learner, teacher, and integration · cb1dc02d
  chsieh16 authored 3 years ago
  
  cb1dc02d
Dec 29, 2021
- Store mapping from all features to coefficients of base features · eb62c8a4
  chsieh16 authored 3 years ago
  
  eb62c8a4
- Annotate the memorized coefficient maps · aa451672
  chsieh16 authored 3 years ago
  
  aa451672
- Add negative as derived features · 3bcef547
  chsieh16 authored 3 years ago
  
  3bcef547