buffer
Datasets
All datasets matching “buffer”rlpinn-ablation-buffers
RLPINN ablation replay buffers
Оффлайн-буферы транзишенов RL-агента (выбор оптимизаторов для обучения PINN)
для абляции DQN-стека (PER / soft-Watkins / trust-region) в PINNacle.
Транзишены экспортированы из Comet-проектов rlpinn-<pde>-tolerance
скриптом experiments/optimization_multi_pde/export_buffer_transitions.py
(ветка rlpinn_agent_ablation PINNacle). Поле solver_models вырезано —
буфер его не использует.
Доступные буферы
подпапка
экспериментов… See the full description on the dataset page: https://huggingface.co/datasets/danil-e/rlpinn-ablation-buffers.BufferedCacheArray_56G-buffer-TexVerse
G-buffer TexVerse
Companion dataset of UltraTex (SIGGRAPH Asia 2026)
Yibo Zhang1,2,
Ze Yuan3,
Nan Cao4,2,
Li Zhang5,2,
Yan-Pei Cao6,
Yuan-Chen Guo6,
Rui Ma1 †
1Jilin University
2Shanghai Innovation Institute
3The University of Hong Kong
4Tongji University
5Fudan University
6VAST
† Corresponding author
G-buffer TexVerse is a large-scale, ultra-high-resolution multi-view rendering dataset built on TexVerse. This… See the full description on the dataset page: https://huggingface.co/datasets/YiboZhang2001/G-buffer-TexVerse.NuminaMath-LEAN-satp-buffer-dspaug-Temp
NuminaMath-LEAN-satp-buffer-dspaug-Temp
Staging buffer for the DSP+ paper-augmentation sweep (2026-04-29). This
is a -Temp variant — lemma_names / lemma_scores are empty and
theorem_uuid is the join key (matches NuminaMath-LEAN-satp.uuid).
Retrieval population + rename-to-uuid happens at the
promote-to-canonical merge step, mirroring the precedent set by
NuminaMath-LEAN-satp-buffer-planf-v1-Temp.
Why this exists
Schema audit on NuminaMath-LEAN-satp-buffer (40,965… See the full description on the dataset page: https://huggingface.co/datasets/ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp.NuminaMath-LEAN-satp-buffer-pairs-Temp
NuminaMath-LEAN-satp-buffer-pairs-Temp
Staging snapshot of (theorem, succ_config, fail_config) pairs mined from
the local expert_dspaug_*/{successes,failures}_shard_*.jsonl runs of
workspace/scripts/run_dspaug_minimal_chain.sh over the
ChristianZ97/NuminaMath-LEAN-satp train split.
Schema is byte-identical to the main NuminaMath-LEAN-satp-buffer so
rows can be appended directly. See that repo's README for full column
documentation, head layout, and per-row classification semantics.… See the full description on the dataset page: https://huggingface.co/datasets/ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp.replay-buffer-cache-v-2025-09-04