princeton-pli / hal-harness
☆74Updated this week
Alternatives and similar repositories for hal-harness
Users that are interested in hal-harness are comparing it to the libraries listed below
Sorting:
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆172Updated 2 months ago
- SWE Arena☆33Updated last month
- Repository for the paper Stream of Search: Learning to Search in Language☆145Updated 3 months ago
- A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning☆153Updated this week
- ☆36Updated 2 months ago
- Implementation of the paper: "AssistantBench: Can Web Agents Solve Realistic and Time-Consuming Tasks?"☆54Updated 5 months ago
- ☆74Updated 2 weeks ago
- Functional Benchmarks and the Reasoning Gap☆86Updated 7 months ago
- ☆114Updated 2 months ago
- accompanying material for sleep-time compute paper☆82Updated 2 weeks ago
- Official Repo for InSTA: Towards Internet-Scale Training For Agents☆36Updated 2 weeks ago
- The code for the paper ROUTERBENCH: A Benchmark for Multi-LLM Routing System☆118Updated 11 months ago
- Verdict is a library for scaling judge-time compute.☆209Updated last week
- Can Language Models Solve Olympiad Programming?☆116Updated 4 months ago
- Open source interpretability artefacts for R1.☆109Updated 3 weeks ago
- Benchmark and research code for the paper SWEET-RL Training Multi-Turn LLM Agents onCollaborative Reasoning Tasks☆188Updated last week
- ☆40Updated 9 months ago
- Replicating O1 inference-time scaling laws☆85Updated 5 months ago
- Dynamic Cheatsheet: Test-Time Learning with Adaptive Memory☆56Updated last month
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Problem Solving with Minimal Examples☆85Updated last month
- A simple unified framework for evaluating LLMs☆209Updated 3 weeks ago
- Scaling Data for SWE-agents☆160Updated this week
- Collection of evals for Inspect AI☆132Updated this week
- ☆120Updated 7 months ago
- Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"☆104Updated last year
- Code for the paper 🌳 Tree Search for Language Model Agents☆198Updated 9 months ago
- ☆109Updated 3 months ago
- ☆129Updated last month
- ☆82Updated last year
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Updated last year