Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

cs598mp-fall2021-proj
- Activity
- Members
- Labels
- Releases
- Model registry
- Model experiments

Snippets Groups Projects

9df05472

Commit 9df05472 authored 2 years ago by chsieh16

Downloads
- Patches
- Plain Diff

Add teacher using dReal

parent 0b93929a

No related branches found

No related tags found

No related merge requests found

Changes 5

Hide whitespace changes

Inline Side-by-side

Showing

dtree_teacher_gem_stanley.py 4 additions, 3 deletions

dtree_teacher_gem_stanley.py
gem_stanley_teacher.py 70 additions, 4 deletions

gem_stanley_teacher.py
region_synth.py 1 addition, 1 deletion

region_synth.py
requirements.txt 1 addition, 0 deletions

requirements.txt
teacher_base.py 119 additions, 1 deletion

teacher_base.py

with 195 additions and 9 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment