 Leni Aniva
|
ce7e27a0fd
|
doc: Add doc building instructions
|
2024-12-11 17:20:25 -08:00 |
|
Leni Aniva
|
bba6bd63ce
|
doc: Paper link
|
2024-10-22 22:26:01 -07:00 |
Leni Aniva
|
494842629b
|
Merge pull request #31 from lenianiva/doc/main
doc: Documentation with jupyter-book
|
2024-10-18 14:54:39 -07:00 |
|
Leni Aniva
|
8dd59bb891
|
doc: Build instructions
|
2024-10-17 21:28:23 -07:00 |
|
Leni Aniva
|
143f2ed7d5
|
doc: Remove stale documentation (#28)
* fix: Remove stale documentation
* doc: Fix git command
* fix: Submodule origin
|
2024-10-17 11:44:48 -04:00 |
|
Leni Aniva
|
e942359666
|
fix: Absolute directories in experiments
doc: Add documentation about API key
|
2024-10-01 11:34:30 -07:00 |
|
Leni Aniva
|
95e90cc026
|
refactor: Experiments into their own folders
|
2024-10-01 11:06:01 -07:00 |
|
Leni Aniva
|
22bba57b99
|
doc: Move SNAP instructions into its own file
|
2024-10-01 10:57:21 -07:00 |
Brando Miranda
|
0d278e1343
|
Merge branch 'main' into brando
|
2024-09-26 19:26:59 -07:00 |
|
Leni Aniva
|
01ec8fa22a
|
refactor: Update the experiment repo Lean version, use new load_sorry API
|
2024-09-13 18:18:53 -07:00 |
|
Leni Aniva
|
8abe689a0a
|
fix: Make search work with automatic mode
|
2024-09-13 17:54:11 -07:00 |
|
Leni Aniva
|
75ada0b5ad
|
doc: Add citation format
|
2024-09-06 22:53:14 -07:00 |
Brando Miranda
|
e533bcc088
|
[self-contained `install.sh` script](https://github.com/brando90/learning_lean/blob/main/install.sh)
[self-contained `install.sh` script](https://github.com/brando90/learning_lean/blob/main/install.sh)
|
2024-07-15 15:06:08 -07:00 |
|
Brando Miranda
|
65dcaa2ea5
|
pushing dsp to my branch
|
2024-07-11 15:49:37 -07:00 |
|
Leni Aniva
|
695374a3e4
|
feat: Example Jupyter notebook
|
2024-07-01 12:18:00 -07:00 |
|
Brando Miranda
|
e6ac8d3a8a
|
close
|
2024-06-03 17:31:27 -07:00 |
|
Brando Miranda
|
18ebf0bb7d
|
making progres, put header in output of toy model, then about to execute lean so need to figure out how pypanto wants src hdear and thm
|
2024-06-03 12:50:41 -07:00 |
|
Brando Miranda
|
aba5943a80
|
small change in readme installs
|
2024-06-03 11:01:45 -07:00 |
|
Brando Miranda
|
f274e85eb9
|
small change in readme installs
|
2024-06-03 11:01:27 -07:00 |
|
Brando Miranda
|
4776e559fa
|
Merge remote-tracking branch 'origin/main' into brando
|
2024-05-31 19:00:30 -07:00 |
|
Brando Miranda
|
59e5cc4a74
|
minor changes
|
2024-05-31 18:48:20 -07:00 |
Chuyue Sun
|
516a93851a
|
update readme
|
2024-05-24 22:42:32 -07:00 |
|
ChuyueSun
|
9993019b69
|
update readme
|
2024-05-19 18:59:03 -07:00 |
|
Brando Miranda
|
827eb57c79
|
instructions for using this with poetry
|
2024-04-29 18:30:50 -07:00 |
|
Brando Miranda
|
001bf2722f
|
python -m pantograph.server now works
|
2024-04-29 12:59:28 -07:00 |
|
Brando Miranda
|
3df41c19cd
|
all worked, added pytorch and vllm test
|
2024-04-29 12:53:54 -07:00 |
|
Brando Miranda
|
b20c95760a
|
added conda install instructions that work for pypantrograph
|
2024-04-29 12:23:28 -07:00 |
|
Brando Miranda
|
1b926aff45
|
testing pushing
|
2024-04-29 10:25:13 -07:00 |
|
Leni Aniva
|
44f982d689
|
doc: README fix
|
2024-04-22 22:59:29 -07:00 |
|
Leni Aniva
|
1905b56862
|
feat: System stub
|
2024-04-19 16:47:35 -07:00 |
|
Leni Aniva
|
f207b32cc1
|
Initial commit
|
2024-04-11 12:37:58 -07:00 |