Tribewarez/synthetic-pot-o-challenges-v1

synthetic-pot-o-challenges-v1 Tiny synthetic starter dataset for training PoT-O (Proof of Tensor Optimizations) pathfinder models. Format (JSONL) {"challenge": "tensor:shape=[32,64];dtype=float16;target_mml=0.42;ops:matmul,lowrank,gelu,quant4,prune0.3,transpose", "optimal_path": "path: matmul[lowrank:16] -> relu -> quant:4bit -> prune:0.35 -> score:0.418"} challenge: Text encoding of tensor properties & allowed operations optimal_path: Heuristic "good"… See the full description on the dataset page: https://huggingface.co/datasets/Tribewarez/synthetic-pot-o-challenges-v1.