matt-seb-ho
Follow
-
vlm_r1 Public
Forked from hiyouga/EasyR1EasyR1/verl-based multimodal RL training
Python Apache License 2.0 UpdatedFeb 27, 2025 -
-
-
d_branch Public
Forked from openreasoner/openrdiverse search for reasoning (forked from OpenR)
Python MIT License UpdatedDec 13, 2024 -
-
-
-
reprover_hf Public
Forked from lean-dojo/ReProverRetrieval-Augmented Theorem Provers for Lean (using the public HF models instead of PL)
Python MIT License UpdatedJul 13, 2024 -
lean-dojo-optimized-init Public
Forked from lean-dojo/LeanDojoTool for data extraction and interacting with Lean programmatically.
Python MIT License UpdatedJun 21, 2024 -
vim_rose_pine Public
Forked from rose-pine/vimSoho vibes for Vim (forked for minor change for xterm-kitty)
Vim Script UpdatedMar 27, 2024 -
WikiWhy Public
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.
-
bento_ff Public
Forked from migueravila/Bento🍱 The minimalist, elegant and hackable startpage.
JavaScript GNU General Public License v3.0 UpdatedNov 13, 2023 -
-
-
natural-instructions Public
Forked from allenai/natural-instructionsExpanding natural instructions
Python Apache License 2.0 UpdatedMar 22, 2023 -
-
-
-
-
-
-
-
-
-
-
-
-
-
-