Commits · main · chsieh16 / cs598mp-fall2021-proj

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