Pinned Repositories
advent2021
bento_ff
🍱 The minimalist, elegant and hackable startpage.
configs
cs130a_proj2
cs130a_proj3
cs190i_hw
doge
free_food_owo
free_food_owo
WikiWhy
WikiWhy is a new benchmark for evaluating LLMs' ability to explain between cause-effect relationships. It is a QA dataset containing 9000+ "why" question-answer-rationale triplets.
matt-seb-ho's Repositories
matt-seb-ho/WikiWhy
WikiWhy is a new benchmark for evaluating LLMs' ability to explain between cause-effect relationships. It is a QA dataset containing 9000+ "why" question-answer-rationale triplets.
matt-seb-ho/advent2021
matt-seb-ho/bento_ff
🍱 The minimalist, elegant and hackable startpage.
matt-seb-ho/configs
matt-seb-ho/cs130a_proj2
matt-seb-ho/cs130a_proj3
matt-seb-ho/cs190i_hw
matt-seb-ho/doge
matt-seb-ho/free_food_owo
free_food_owo
matt-seb-ho/gacha
matt-seb-ho/granddingus
matt-seb-ho/lean-dojo-optimized-init
Tool for data extraction and interacting with Lean programmatically.
matt-seb-ho/machine_problem1
matt-seb-ho/mnist_neural_net
matt-seb-ho/natural-instructions
Expanding natural instructions
matt-seb-ho/notjaywalking
matt-seb-ho/reprover_hf
Retrieval-Augmented Theorem Provers for Lean (using the public HF models instead of PL)
matt-seb-ho/sentence_embedding_hard_negatives
matt-seb-ho/sentence_mover
matt-seb-ho/stonks
matt-seb-ho/sub_classification
matt-seb-ho/toto
matt-seb-ho/vim_rose_pine
Soho vibes for Vim (forked for minor change for xterm-kitty)
matt-seb-ho/w21_webapp
matt-seb-ho/wiki_q