Index of /asolar/SynthesisCourse

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Adapting/2025-10-21 18:46 -  
[DIR]Agents/2025-11-04 13:35 -  
[TXT]Assignment1.htm2026-02-01 22:10 15K 
[TXT]Assignment1TAISP26.htm2026-02-01 22:10 13K 
[TXT]Assignment2-dev.htm2025-10-06 05:06 20K 
[TXT]Assignment2-temp.htm2026-02-01 22:10 4.0K 
[TXT]Assignment2.htm2026-02-01 22:10 20K 
[TXT]Assignment3.htm2026-02-01 22:10 2.6K 
[TXT]Assignment4.htm2026-02-01 22:10 24K 
[TXT]CHANGELOG.md2026-02-01 22:10 2.8K 
[DIR]Components/2025-10-03 11:30 -  
[ ]EarlyLanguageModels.pptx2026-02-01 22:10 4.0M 
[DIR]Evolutionary/2025-11-03 10:17 -  
[ ]FlashFillExample.xlsx2026-02-01 22:10 9.1K 
[ ]Lecture0.pptx2026-02-01 22:10 351K 
[DIR]Lecture0/2025-08-25 12:23 -  
[TXT]Lecture1.htm2026-02-01 22:10 28K 
[ ]Lecture1.pptx2026-02-01 22:10 5.2M 
[DIR]Lecture1/2018-08-06 12:21 -  
[DIR]Lecture1_files/2018-08-06 10:53 -  
[TXT]Lecture2.htm2026-02-01 22:10 35K 
[ ]Lecture2.pptx2026-02-01 22:10 1.5M 
[DIR]Lecture2/2025-08-25 12:23 -  
[TXT]Lecture3.htm2026-02-01 22:10 33K 
[ ]Lecture3.pptx2026-02-01 22:10 261K 
[DIR]Lecture3/2018-08-13 17:22 -  
[TXT]Lecture4.htm2026-02-01 22:10 14K 
[ ]Lecture4.pptx2026-02-01 22:10 757K 
[DIR]Lecture4/2018-08-17 00:53 -  
[TXT]Lecture5.htm2026-02-01 22:10 24K 
[ ]Lecture5.pptx2026-02-01 22:10 658K 
[DIR]Lecture5/2018-08-21 18:18 -  
[ ]Lecture5b.pptx2026-02-01 22:10 699K 
[ ]Lecture5c.pptx2026-02-01 22:10 219K 
[TXT]Lecture6.htm2026-02-01 22:10 23K 
[ ]Lecture6.pptx2026-02-01 22:10 967K 
[DIR]Lecture6/2018-08-27 13:35 -  
[TXT]Lecture7.htm2026-02-01 22:10 35K 
[ ]Lecture7.pptx2026-02-01 22:10 268K 
[DIR]Lecture7/2018-08-29 13:58 -  
[TXT]Lecture8.htm2026-02-01 22:10 14K 
[ ]Lecture8.pptx2026-02-01 22:10 4.0M 
[DIR]Lecture8/2018-08-31 16:50 -  
[TXT]Lecture9.htm2026-02-01 22:10 23K 
[ ]Lecture9.pptx2026-02-01 22:10 315K 
[DIR]Lecture9/2018-09-05 00:17 -  
[TXT]Lecture10.htm2026-02-01 22:10 28K 
[ ]Lecture10.pptx2026-02-01 22:10 783K 
[DIR]Lecture10/2018-09-09 17:08 -  
[TXT]Lecture11.htm2026-02-01 22:10 22K 
[ ]Lecture11.pptx2026-02-01 22:10 710K 
[DIR]Lecture11/2018-10-01 18:04 -  
[TXT]Lecture12.htm2026-02-01 22:10 17K 
[ ]Lecture12.pptx2026-02-01 22:10 5.9M 
[DIR]Lecture12/2018-10-01 18:48 -  
[TXT]Lecture13.htm2026-02-01 22:10 22K 
[ ]Lecture13.pptx2026-02-01 22:10 460K 
[DIR]Lecture13/2018-10-11 13:33 -  
[TXT]Lecture14.htm2026-02-01 22:10 15K 
[ ]Lecture14.pptx2026-02-01 22:10 1.0M 
[DIR]Lecture14/2018-10-11 13:33 -  
[ ]Lecture14 [Autosaved].pptx2026-02-01 22:10 1.0M 
[TXT]Lecture15.htm2026-02-01 22:10 7.7K 
[ ]Lecture15.pptx2026-02-01 22:10 726K 
[DIR]Lecture15/2018-10-15 18:54 -  
[TXT]Lecture16.htm2026-02-01 22:10 12K 
[ ]Lecture16.pptx2026-02-01 22:10 228K 
[DIR]Lecture16/2018-10-17 16:34 -  
[ ]Lecture17-2025.pptx2026-02-01 22:10 784K 
[TXT]Lecture17.htm2026-02-01 22:10 15K 
[ ]Lecture17.pptx2026-02-01 22:10 428K 
[ ]Lecture18-2025.pptx2026-02-01 22:10 725K 
[TXT]Lecture18.htm2026-02-01 22:10 12K 
[ ]Lecture18.pptx2026-02-01 22:10 7.1M 
[DIR]Lecture18/2018-11-07 23:53 -  
[ ]Lecture19-2025.pptx2026-02-01 22:10 552K 
[TXT]Lecture19.htm2026-02-01 22:10 11K 
[ ]Lecture19.pptx2026-02-01 22:10 931K 
[DIR]Lecture19/2018-11-07 23:53 -  
[ ]Lecture19b.pptx2026-02-01 22:10 846K 
[ ]Lecture19c.pptx2026-02-01 22:10 846K 
[ ]Lecture20-2025.pptx2026-02-01 22:10 1.0M 
[TXT]Lecture20.htm2026-02-01 22:10 19K 
[ ]Lecture20.pptx2026-02-01 22:10 1.2M 
[DIR]Lecture20/2020-05-21 17:10 -  
[ ]Lecture21-2025.pptx2026-02-01 22:10 726K 
[TXT]Lecture21.htm2026-02-01 22:10 6.6K 
[ ]Lecture21.pptx2026-02-01 22:10 847K 
[DIR]Lecture21/2020-05-21 17:10 -  
[ ]Lecture21_new.pptx2026-02-01 22:10 1.1M 
[TXT]Lecture22.htm2026-02-01 22:10 9.2K 
[ ]Lecture22.pptx2026-02-01 22:10 218K 
[DIR]Lecture22/2025-10-15 09:37 -  
[ ]Lecture23-2025.pptx2026-02-01 22:10 428K 
[TXT]Lecture23.htm2026-02-01 22:10 9.1K 
[ ]Lecture23.pptx2023-11-21 15:10 5.9M 
[TXT]Lecture24.htm2026-02-01 22:10 13K 
[ ]Lecture24.pptx2026-02-01 22:10 3.9M 
[TXT]Lecture25.htm2026-02-01 22:10 13K 
[ ]Lecture25.pptx2026-02-01 22:10 36M 
[ ]Makefile2026-02-01 22:10 752  
[DIR]Neurosym/2025-11-17 11:29 -  
[DIR]ReinforcementLearning/2025-10-28 14:31 -  
[DIR]Sampling/2025-10-15 09:37 -  
[TXT]Schedule.csv2026-02-01 22:10 2.1K 
[ ]Schedule.xlsx2026-02-01 22:10 13K 
[ ]SeparationLogicTutorial.pptx2026-02-01 22:10 1.0M 
[ ]SketchLecture.pptx2026-02-01 22:10 267K 
[TXT]TAISP26.htm2026-02-01 22:10 6.1K 
[TXT]TOC.htm2026-02-01 22:10 1.1K 
[DIR]Verification/2025-11-17 11:31 -  
[TXT]biblio.bib2026-02-01 22:10 114K 
[ ]cornerarrow.pptx2026-02-01 22:10 29K 
[TXT]filterForStudent.py2026-02-01 22:10 355  
[ ]handout-render.js2026-02-01 22:10 17K 
[DIR]icons/2019-09-09 11:08 -  
[TXT]index.htm2026-02-01 22:10 6.4K 
[ ]leanTest.lean2026-02-01 22:10 34  
[TXT]lectures.txt2026-02-01 22:10 1.7K 
[ ]library.js2026-02-01 22:10 17K 
[DIR]old_htms/2025-08-25 12:24 -  
[ ]package.json2026-02-01 22:10 298  
[ ]pset1.tar.gz2026-02-01 22:10 80K 
[DIR]pset1/2018-08-08 11:30 -  
[ ]pset1TAISP.tar.gz2026-02-01 22:10 73K 
[ ]pset1_old.tar.gz2026-02-01 22:10 27K 
[ ]pset2-dev.tar.gz2025-10-05 17:57 24K 
[ ]pset2.tar.gz2026-02-01 22:10 29K 
[DIR]pset2/2022-09-05 20:31 -  
[DIR]pset2_content/2025-10-05 17:57 -  
[ ]pset3.tar.gz2026-02-01 22:10 1.9K 
[DIR]pset3/2022-09-05 20:31 -  
[DIR]pset3_content/2025-10-20 08:54 -  
[ ]pset4-mcts.tar.gz2026-02-01 22:10 10K 
[ ]question1.sk2026-02-01 22:10 1.2K 
[TXT]run.sh2026-02-01 22:10 515  
[ ]server.js2026-02-01 22:10 192  
[TXT]style.css2026-02-01 22:10 8.5K 
[TXT]template.html2026-02-01 22:10 478  
[TXT]update_changelog.py2026-02-01 22:10 4.3K 
[ ]~$Lecture1.pptx2026-02-05 01:13 165  
[ ]~$Lecture2.pptx2026-02-05 01:13 165