Text Generation
Transformers
TensorBoard
Safetensors
English
qwen3
byte-level
pretraining
symbolic
text-generation-inference
Instructions to use dotlabs/void.1 with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use dotlabs/void.1 with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="dotlabs/void.1")# pip install -U transformers accelerate # Load model directly from transformers import AutoTokenizer, AutoModelForCausalLM tokenizer = AutoTokenizer.from_pretrained("dotlabs/void.1") model = AutoModelForCausalLM.from_pretrained("dotlabs/void.1", device_map="auto") - Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- vLLM
How to use dotlabs/void.1 with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "dotlabs/void.1" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "dotlabs/void.1", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }'Use Docker
docker model run hf.co/dotlabs/void.1
- SGLang
How to use dotlabs/void.1 with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "dotlabs/void.1" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "dotlabs/void.1", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "dotlabs/void.1" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "dotlabs/void.1", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }' - Docker Model Runner
How to use dotlabs/void.1 with Docker Model Runner:
docker model run hf.co/dotlabs/void.1
Download metrics/void-byte-v1/eval.jsonl from dotlabs/void.1: direct link, hf CLI and curl.
- Browser
- Download file 20.5 kB
-
https://huggingface.co/dotlabs/void.1/resolve/main/metrics/void-byte-v1/eval.jsonl
- Command line
-
hf download hf://dotlabs/void.1/metrics/void-byte-v1/eval.jsonl
-
curl -L -o eval.jsonl https://huggingface.co/dotlabs/void.1/resolve/main/metrics/void-byte-v1/eval.jsonl
20.5 kB
| {"step": 930000, "seed_holdout": {"answer_byte_loss": 0.007977180482957187, "teacher_forced_byte_accuracy": 0.9977628635346756, "generation_exact_match": 0.9166666666666666, "generation_truncated": 0, "episodes": 12}, "composition_ood": {"answer_byte_loss": 1.415251096089681, "teacher_forced_byte_accuracy": 0.5111111111111111, "generation_exact_match": 0.0, "generation_truncated": 0, "episodes": 3}, "families": [{"group": "seed_holdout", "family": "gen_bbox_outline", "surface": "symbolic", "exact": true, "generated_bytes": 40, "target_bytes": 40}, {"group": "seed_holdout", "family": "gen_recolor_largest", "surface": "symbolic", "exact": true, "generated_bytes": 30, "target_bytes": 30}, {"group": "seed_holdout", "family": "gen_recolor_smallest", "surface": "symbolic", "exact": true, "generated_bytes": 29, "target_bytes": 29}, {"group": "seed_holdout", "family": "gen_extract_largest", "surface": "symbolic", "exact": true, "generated_bytes": 11, "target_bytes": 11}, {"group": "seed_holdout", "family": "gen_complete_symmetry", "surface": "symbolic", "exact": false, "generated_bytes": 61, "target_bytes": 61}, {"group": "seed_holdout", "family": "gen_tile_motif", "surface": "symbolic", "exact": true, "generated_bytes": 77, "target_bytes": 77}, {"group": "seed_holdout", "family": "gen_count_to_bar", "surface": "symbolic", "exact": true, "generated_bytes": 11, "target_bytes": 11}, {"group": "seed_holdout", "family": "gen_remove_noise", "surface": "symbolic", "exact": true, "generated_bytes": 45, "target_bytes": 45}, {"group": "seed_holdout", "family": "gen_fill_holes", "surface": "symbolic", "exact": true, "generated_bytes": 40, "target_bytes": 40}, {"group": "seed_holdout", "family": "gen_conditional_transform", "surface": "symbolic", "exact": true, "generated_bytes": 47, "target_bytes": 47}, {"group": "seed_holdout", "family": "gen_two_rule_comp", "surface": "symbolic", "exact": true, "generated_bytes": 47, "target_bytes": 47}, {"group": "seed_holdout", "family": "gen_three_rule_comp", "surface": "symbolic", "exact": true, "generated_bytes": 9, "target_bytes": 9}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 6, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 7, "target_bytes": 56}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 15, "target_bytes": 16}]} | |
| {"step": 935000, "seed_holdout": {"answer_byte_loss": 0.019049822570153852, "teacher_forced_byte_accuracy": 0.9923076923076923, "generation_exact_match": 0.9166666666666666, "generation_truncated": 0, "episodes": 12}, "composition_ood": {"answer_byte_loss": 1.5706027348836262, "teacher_forced_byte_accuracy": 0.4222222222222222, "generation_exact_match": 0.0, "generation_truncated": 1, "episodes": 3}, "families": [{"group": "seed_holdout", "family": "gen_sort_rows", "surface": "symbolic", "exact": false, "generated_bytes": 45, "target_bytes": 45}, {"group": "seed_holdout", "family": "gen_negative_space", "surface": "symbolic", "exact": true, "generated_bytes": 25, "target_bytes": 25}, {"group": "seed_holdout", "family": "gen_occlusion_complete", "surface": "symbolic", "exact": true, "generated_bytes": 35, "target_bytes": 35}, {"group": "seed_holdout", "family": "gen_single_fact", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_two_hop", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_multi_hop", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_inverse", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_transitivity", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_symmetric", "surface": "instruction_json", "exact": true, "generated_bytes": 5, "target_bytes": 5}, {"group": "seed_holdout", "family": "gen_temporal_order", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_relative_rank", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_relation_comp", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 18, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 192, "target_bytes": 56}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 19, "target_bytes": 16}]} | |
| {"step": 940000, "seed_holdout": {"answer_byte_loss": 0.01587732341038252, "teacher_forced_byte_accuracy": 1.0, "generation_exact_match": 1.0, "generation_truncated": 0, "episodes": 12}, "composition_ood": {"answer_byte_loss": 1.9811146206325956, "teacher_forced_byte_accuracy": 0.3111111111111111, "generation_exact_match": 0.0, "generation_truncated": 0, "episodes": 3}, "families": [{"group": "seed_holdout", "family": "gen_exactly_one", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_at_least", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_at_most", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_quantifier", "surface": "instruction_json", "exact": true, "generated_bytes": 5, "target_bytes": 5}, {"group": "seed_holdout", "family": "gen_ordering_csp", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_assignment_matching", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_small_sat", "surface": "instruction_json", "exact": true, "generated_bytes": 8, "target_bytes": 8}, {"group": "seed_holdout", "family": "gen_contradiction", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_kv_lookup", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_role_filler", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_assoc_distractors", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_nested_lookup", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 6, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 14, "target_bytes": 56}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 15, "target_bytes": 16}]} | |
| {"step": 945000, "seed_holdout": {"answer_byte_loss": 0.07608710444297022, "teacher_forced_byte_accuracy": 0.9612403100775194, "generation_exact_match": 0.6666666666666666, "generation_truncated": 0, "episodes": 12}, "composition_ood": {"answer_byte_loss": 1.732945802476671, "teacher_forced_byte_accuracy": 0.43333333333333335, "generation_exact_match": 0.0, "generation_truncated": 1, "episodes": 3}, "families": [{"group": "seed_holdout", "family": "gen_mutable_dictionary", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_queue", "surface": "instruction_json", "exact": true, "generated_bytes": 25, "target_bytes": 25}, {"group": "seed_holdout", "family": "gen_deque", "surface": "instruction_json", "exact": true, "generated_bytes": 16, "target_bytes": 16}, {"group": "seed_holdout", "family": "gen_delayed_recall", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_register_swap", "surface": "instruction_json", "exact": false, "generated_bytes": 8, "target_bytes": 8}, {"group": "seed_holdout", "family": "gen_register_update", "surface": "instruction_json", "exact": true, "generated_bytes": 8, "target_bytes": 8}, {"group": "seed_holdout", "family": "gen_conditional_branch", "surface": "instruction_json", "exact": true, "generated_bytes": 12, "target_bytes": 12}, {"group": "seed_holdout", "family": "gen_loop_counter", "surface": "instruction_json", "exact": false, "generated_bytes": 8, "target_bytes": 10}, {"group": "seed_holdout", "family": "gen_multi_register", "surface": "instruction_json", "exact": false, "generated_bytes": 8, "target_bytes": 8}, {"group": "seed_holdout", "family": "gen_program_trace", "surface": "instruction_json", "exact": false, "generated_bytes": 34, "target_bytes": 34}, {"group": "seed_holdout", "family": "gen_stack_expr", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_prefix_expr", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 12, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 12, "target_bytes": 56}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 192, "target_bytes": 16}]} | |
| {"step": 950000, "seed_holdout": {"answer_byte_loss": 0.34366681347728445, "teacher_forced_byte_accuracy": 0.9375, "generation_exact_match": 0.8333333333333334, "generation_truncated": 0, "episodes": 12}, "composition_ood": {"answer_byte_loss": 1.9190234078301325, "teacher_forced_byte_accuracy": 0.3888888888888889, "generation_exact_match": 0.0, "generation_truncated": 0, "episodes": 3}, "families": [{"group": "seed_holdout", "family": "gen_postfix_expr", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_bracket_balance", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_bracket_depth", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_multiply", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_divide", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_remainder", "surface": "symbolic", "exact": false, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_modular", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_magnitude", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_ratio", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_fraction_equiv", "surface": "instruction_json", "exact": false, "generated_bytes": 5, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_difference", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_linear", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 12, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 14, "target_bytes": 56}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 15, "target_bytes": 16}]} | |
| {"step": 955000, "seed_holdout": {"answer_byte_loss": 0.07355605887666267, "teacher_forced_byte_accuracy": 0.9833333333333333, "generation_exact_match": 0.8333333333333334, "generation_truncated": 0, "episodes": 12}, "composition_ood": {"answer_byte_loss": 1.5657928254869249, "teacher_forced_byte_accuracy": 0.5444444444444444, "generation_exact_match": 0.0, "generation_truncated": 1, "episodes": 3}, "families": [{"group": "seed_holdout", "family": "gen_affine", "surface": "symbolic", "exact": false, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_unit_conversion", "surface": "symbolic", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_relative_coords", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_line_of_sight", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_containment", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_collision", "surface": "instruction_json", "exact": true, "generated_bytes": 24, "target_bytes": 24}, {"group": "seed_holdout", "family": "gen_toroidal", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_falling", "surface": "instruction_json", "exact": true, "generated_bytes": 34, "target_bytes": 34}, {"group": "seed_holdout", "family": "gen_obstacle_motion", "surface": "instruction_json", "exact": true, "generated_bytes": 14, "target_bytes": 14}, {"group": "seed_holdout", "family": "gen_path_keys", "surface": "instruction_json", "exact": false, "generated_bytes": 10, "target_bytes": 10}, {"group": "seed_holdout", "family": "gen_dynamic_plan", "surface": "instruction_json", "exact": true, "generated_bytes": 8, "target_bytes": 8}, {"group": "seed_holdout", "family": "gen_direct_cause", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 18, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 14, "target_bytes": 56}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 192, "target_bytes": 16}]} | |
| {"step": 960000, "seed_holdout": {"answer_byte_loss": 0.0008967520068261748, "teacher_forced_byte_accuracy": 1.0, "generation_exact_match": 1.0, "generation_truncated": 0, "episodes": 12}, "composition_ood": {"answer_byte_loss": 1.6532925923665365, "teacher_forced_byte_accuracy": 0.36666666666666664, "generation_exact_match": 0.0, "generation_truncated": 0, "episodes": 3}, "families": [{"group": "seed_holdout", "family": "gen_confounding", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_competing_hypotheses", "surface": "instruction_json", "exact": true, "generated_bytes": 4, "target_bytes": 4}, {"group": "seed_holdout", "family": "gen_noisy_evidence", "surface": "instruction_json", "exact": true, "generated_bytes": 4, "target_bytes": 4}, {"group": "seed_holdout", "family": "gen_active_disambiguation", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_qual_bayes", "surface": "instruction_json", "exact": true, "generated_bytes": 4, "target_bytes": 4}, {"group": "seed_holdout", "family": "gen_causal_intervention", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_causal_abduction", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_rule_change", "surface": "instruction_json", "exact": true, "generated_bytes": 10, "target_bytes": 10}, {"group": "seed_holdout", "family": "gen_anomaly_cause", "surface": "instruction_json", "exact": true, "generated_bytes": 6, "target_bytes": 6}, {"group": "seed_holdout", "family": "gen_selection_sort", "surface": "instruction_json", "exact": true, "generated_bytes": 18, "target_bytes": 18}, {"group": "seed_holdout", "family": "gen_insertion_sort", "surface": "instruction_json", "exact": true, "generated_bytes": 32, "target_bytes": 32}, {"group": "seed_holdout", "family": "gen_minmax_scan", "surface": "instruction_json", "exact": true, "generated_bytes": 20, "target_bytes": 20}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 18, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 12, "target_bytes": 56}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 22, "target_bytes": 16}]} | |
| {"step": 965000, "seed_holdout": {"answer_byte_loss": 0.03333575462245129, "teacher_forced_byte_accuracy": 0.9818181818181818, "generation_exact_match": 0.8333333333333334, "generation_truncated": 0, "episodes": 12}, "composition_ood": {"answer_byte_loss": 1.5628573735555014, "teacher_forced_byte_accuracy": 0.4777777777777778, "generation_exact_match": 0.0, "generation_truncated": 2, "episodes": 3}, "families": [{"group": "seed_holdout", "family": "gen_linear_search", "surface": "instruction_json", "exact": true, "generated_bytes": 4, "target_bytes": 4}, {"group": "seed_holdout", "family": "gen_binary_search", "surface": "instruction_json", "exact": true, "generated_bytes": 10, "target_bytes": 10}, {"group": "seed_holdout", "family": "gen_string_match", "surface": "instruction_json", "exact": true, "generated_bytes": 4, "target_bytes": 4}, {"group": "seed_holdout", "family": "gen_bfs_order", "surface": "instruction_json", "exact": true, "generated_bytes": 12, "target_bytes": 12}, {"group": "seed_holdout", "family": "gen_dfs_order", "surface": "instruction_json", "exact": false, "generated_bytes": 14, "target_bytes": 14}, {"group": "seed_holdout", "family": "gen_topo_sort", "surface": "instruction_json", "exact": false, "generated_bytes": 14, "target_bytes": 14}, {"group": "seed_holdout", "family": "gen_union_find", "surface": "instruction_json", "exact": true, "generated_bytes": 5, "target_bytes": 5}, {"group": "seed_holdout", "family": "gen_shortest_path", "surface": "instruction_json", "exact": true, "generated_bytes": 10, "target_bytes": 10}, {"group": "seed_holdout", "family": "gen_interval_overlap", "surface": "instruction_json", "exact": true, "generated_bytes": 5, "target_bytes": 5}, {"group": "seed_holdout", "family": "gen_novel_primitive", "surface": "instruction_json", "exact": true, "generated_bytes": 2, "target_bytes": 2}, {"group": "seed_holdout", "family": "gen_modifier_comp", "surface": "instruction_json", "exact": true, "generated_bytes": 12, "target_bytes": 12}, {"group": "seed_holdout", "family": "gen_mini_dsl", "surface": "instruction_json", "exact": true, "generated_bytes": 18, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 192, "target_bytes": 18}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 12, "target_bytes": 56}, {"group": "composition_ood", "family": "compositional_execution", "surface": "symbolic", "exact": false, "generated_bytes": 192, "target_bytes": 16}]} | |