Commit graph

836 commits

Author SHA1 Message Date
abdulhakeem
b34db81272 Commit more changes 2025-02-21 00:37:29 -06:00
joesharratt1229
16c69b3b7a moved trivial check 2025-02-21 00:20:00 +00:00
joesharratt1229
f61a4569ff reimplemented prop logic 2025-02-20 23:59:31 +00:00
Oliver
31941d09e6 Answer scoring fixes to address edge cases 2025-02-20 22:04:01 +00:00
Andreas Koepf
5e7e205639 update GALLERY.my, bump version 2025-02-20 23:03:54 +01:00
Andreas Köpf
07587d1647 Merge branch 'main' into env/rotten-oranges 2025-02-20 22:51:07 +01:00
Andreas Köpf
d902debf7e Merge pull request #172 from open-thought/rich/jugs
Add Water Jug Puzzles
2025-02-20 22:48:12 +01:00
Andreas Koepf
c1aeacad0b store possible answer in entry 'answer' field 2025-02-20 22:47:21 +01:00
Andreas Koepf (aider)
96bd177b9b docs: Add descriptive comments for num_jugs and difficulty parameters 2025-02-20 22:39:22 +01:00
Andreas Koepf (aider)
d8dac6272c feat: Add type hints to generate_puzzle and min_moves_n functions 2025-02-20 22:38:11 +01:00
Andreas Koepf
5f985d61c5 refactor: Simplify jug puzzle dataset generation and solution verification 2025-02-20 22:38:10 +01:00
Zafir Stojanovski
67617a0a42 remove empty space 2025-02-20 22:35:53 +01:00
Zafir Stojanovski
51ea7778ee rotten oranges 2025-02-20 22:33:39 +01:00
Andreas Köpf
5440649720 Merge pull request #170 from open-thought/rich/needle
Adds Needle in a Haystack problems
2025-02-20 22:12:47 +01:00
AhmedSaif2
27c597c10a remove added instructions 2025-02-20 21:29:01 +02:00
AhmedSaif2
1da1909666 Add score answer to support comma format 2025-02-20 20:52:31 +02:00
Rich Jones
af5bb57218 wiggle imports 2025-02-20 16:23:40 +01:00
Rich Jones
3dad5f9eca jugs jugs jugs lint 2025-02-20 16:15:29 +01:00
Rich Jones
3eef5841f6 basic jugs 2025-02-20 15:24:46 +01:00
Rich Jones
9322d83358 move assert to config 2025-02-20 12:45:09 +01:00
Andreas Köpf
3adf5b6c22 Merge pull request #158 from open-thought/rich/decimalmath
Decimal Arithmetic
2025-02-20 12:35:41 +01:00
Rich Jones
58d261be98 lint 2025-02-20 12:29:12 +01:00
Rich Jones
c3ced61c6e adds Needle in a Haystack problems 2025-02-20 12:28:30 +01:00
Rich Jones
921c9b1d7b type hints
blind roboting
2025-02-20 12:10:28 +01:00
Andreas Koepf
6103bbe1b4 exclude PropositionalLogicDataset from auto-import (needs to be improved) 2025-02-20 12:08:48 +01:00
Andreas Koepf
67bf9d10cb use correct signature for CryptarithmDataset.score_answer() method 2025-02-20 11:55:32 +01:00
Andreas Köpf
e391981a67 Merge pull request #169 from AhmedSaif2/products
Add allow-negation in products dataset
2025-02-20 11:30:21 +01:00
Andreas Köpf
c6e0e5a6a2 Merge pull request #155 from theblackcat102/cryptarithm
Cryptarithm add score_answer function
2025-02-20 11:28:03 +01:00
Rich Jones
da0b882b87 rc gallery format 2025-02-20 11:26:05 +01:00
Rich Jones
988b093800 fix weird GoL fmt 2025-02-20 11:09:29 +01:00
ahmedsaif
df4bb0b897 Add allow-negation in products dataset 2025-02-20 12:01:09 +02:00
Rich Jones
e8691d74a1 add to init 2025-02-20 10:51:00 +01:00
Rich Jones
16d96e6af1 Merge branch 'rich/decimalmath' of github.com:open-thought/reasoning-gym into rich/decimalmath 2025-02-20 10:46:13 +01:00
Rich Jones
eb64e3a2b8 add random paren grouping 2025-02-20 10:46:01 +01:00
Rich Jones
772ca584b5 Merge branch 'main' into rich/decimalmath 2025-02-20 10:07:28 +01:00
theblackcat102
daa3b309f2 [fix] precommit not happy 2025-02-20 17:00:18 +08:00
theblackcat102
9c955f5b3c [feat] remove answer parsing since its already handled 2025-02-20 16:57:51 +08:00
Andreas Köpf
bd3ef0ee65 Merge pull request #166 from joesharratt1229/fix/envs
Fix/envs
2025-02-20 00:40:27 +01:00
vncntt
8423aba33f Merge branch 'open-thought:main' into decimal_chain_sum 2025-02-19 15:31:20 -08:00
vncntt
b94c385c46 register decimal_chain_sum 2025-02-19 15:30:30 -08:00
Andreas Köpf
3cd0fd9019 Merge pull request #164 from vncntt/decimal_chain_sum
decimal_chain_sum
2025-02-20 00:14:23 +01:00
vncntt
36ca729824 decimal refactor 2025-02-19 14:46:27 -08:00
Andreas Köpf
52b44c47d5 reasoning-gym-server & cli tool (#154)
* feat: Add initial server structure with configuration, registry, and middleware

* feat: Add chain_sum dataset to experiment registry test

* fix: Update test_registry to use DatasetSpec for composite config validation

* refactor: Update Pydantic config to use json_schema_extra and ConfigDict

* feat: Add Pydantic models for API request/response data

* feat: Implement basic experiment management endpoints with tests

* feat: Implement composite configuration endpoints for experiments

* fix: Add missing DatasetConfigUpdate import in server.py

* refactor: Update dataset config update method to properly merge config updates

* fix: Correctly retrieve current dataset config in composite endpoint

* feat: Add basic CLI structure with experiments and config commands

* feat: Add initial CLI tool with basic experiment management commands

* refactor: Reorganize CLI package structure and fix import paths

* refactor: Implement initial CLI commands for experiment management

* feat: Implement HTTP client for Reasoning Gym server in RGC CLI tool

* fix: Move print statements inside try block to resolve SyntaxError

* fix: Resolve SyntaxError in edit_config function by adding missing except block

* feat: Add default app instance in server module for easier uvicorn startup

* docs: Add README.md with server and RGC tool documentation

* remove unused files

* refactor: Remove unsupported type annotation in registry.py

* refactor: Move ExperimentRegistry to coaching module and add Experiment class

* fix: Add missing CompositeDataset import in test_registry.py

* refactor: Implement lazy ASGI app creation for server initialization

* feat: Add health check command to RGC CLI for server connection

* feat: Add version tracking support to CompositeDataset

* feat: Add DatasetVersionManager for tracking dataset versions

* feat: Add entry_id metadata and score_answer_with_id method to CompositeDataset

* feat: Add entry_id metadata combining version and index

* fix: Resolve undefined variable by storing version_id before use

* test: Add comprehensive unit tests for score_answer_with_id() function

* test: Add comprehensive version tracking test for dataset config updates

* feat: Validate dataset weights are positive in CompositeDataset initialization

* feat: Add weight update and normalization methods to CompositeDataset

* refactor: Centralize weight normalization in CompositeDataset and allow zero-weight datasets

* feat: Add negative weight validation to CompositeDataset constructor

* feat: Add duplicate dataset name check in CompositeDataset and update test

* refactor: Move duplicate dataset name check inside dataset iteration loop

* refactor: Update CompositeDataset weight management to use config as source of truth

* refactor: Move duplicate dataset name check to CompositeConfig.validate()

* test: Update composite dataset weight test assertions and validation

* feat: Add methods to add and remove datasets in CompositeDataset

* refactor: Remove weight normalization and use unnormalized weights directly

* refactor: Remove redundant total weight check in update_dataset_weights

* feat: Add batch generation and scoring endpoints to server

* fix: Import BatchEntry in server.py to resolve undefined name error

* refactor: Update ReasoningGymDataset to use server for batch generation and scoring

* fix: Add missing List and Dict type imports

* feat: Add get_batch() and score_outputs() methods to RGClient

* test: Add unit tests for generate_batch and score_outputs endpoints

* refactor: Add DatasetVersionManager to Experiment class and CompositeDataset constructor

* feat: Add validation for base_index and batch_size in generate_batch endpoint

* refactor: Remove unused BatchRequest type from imports

* refactor: Convert models to use Pydantic exclusively

* test: Update scoring endpoint tests to use correct request model format

* refactor: Rename ScoreItem to AnswerItem and update related code

* feat: Update scoring endpoint to return ordered ScoringResponse with scores and entry_ids

* fix: Add missing ScoringResponse import in server.py

* move verl ppo sample with server into own file

* refactor: Use Pydantic models for get_batch() and score_outputs() in RGClient

* refactor: Update client methods to use Pydantic models for type safety

* refactor: Use Pydantic models for experiment and dataset config operations

* refactor: Clean up duplicate methods and improve error handling in main.py

* first bits of rg server use for verl

* refactor: Optimize scoring with single HTTP request in _score_output

* fix: Correct experiment creation with ExperimentCreate object

* grpo tests with server
2025-02-19 22:41:33 +01:00
joesharratt1229
be9a7dbf06 adjusted geom prompt 2025-02-19 19:52:18 +00:00
joesharratt1229
4a9a47e7b5 updated geometry 2025-02-19 18:38:36 +00:00
joesharratt1229
ab0fb7a58c added zebra 2025-02-19 18:13:03 +00:00
joesharratt1229
1a27d9b0a4 added colour cube score answer impl 2025-02-19 18:12:31 +00:00
joesharratt1229
edfe7f19b1 cleaned up caesar cipher 2025-02-19 18:11:59 +00:00
Rich Jones
a76e56fccc implement decimal precision 2025-02-19 12:30:07 +01:00
Zafir Stojanovski
fec058d905 number format 2025-02-19 11:41:06 +01:00